一个项目子集Is被称为简洁集(succinct set),如果存在选择性谓词p,使得该项目子集能够表示为σp(I)。另外,如果存在简洁集I1, …, Ik ⊆ I,那么简洁集SP可以用I1, …, Ik的并、差运算表示出来,被称为强简洁集(succinct power set)。Cs的约束被视为简洁的,如果SATCs(I)是一个强简洁集。