The effective set must always be a subset of the permitted set.

有效集必须是允许集的子集。