离散数学划分和覆盖的区别

把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的覆盖，也是划分。划分必是覆盖，覆盖未必是划分。覆盖与划分都不是唯一的。