把A拆分为几个非空子集的并集A=A1∪A2∪...∪Am,那么S={A1,A2,...,Am}称为集合A的一个覆盖。A的划分是在覆盖的基础上,还要求任意两个子集的交集是空集。比如A={a,b,c,d},那么S1={{a},{a,b},{a,b,c},{d}}是A的覆盖,但不是划分。S={{a,b},{c,d}}是A的覆盖,也是划分。划分必是覆盖,覆盖未必是划分。覆盖与划分都不是唯一的。