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