分划

设π={Ai}i∈K是集合A的某些非空子集的集合，如果集合A的每一个元素在且只在其中之一Ai中，则称集合π是集合A的一个分划。

上述条件中每个Ai称为该分划的一个分划块