離散數學劃分和覆蓋的區別

把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的覆蓋，也是劃分。劃分必是覆蓋，覆蓋未必是劃分。覆蓋與劃分都不是唯一的。