定義:A的子集族C是A的劃分(條件)
1.C中不包含空集
2.C中所有元素的并集等于A
3.C中任兩個元素的交集為空
(形象的體現了“劃分”這一點:一方面把A中所有元素都瓜分掉了,而且沒有瓜分空集出來,瓜分出來的不會有重復)
例如:A={1,2,3,4},C={{1,2},{3},{4}},這樣C就可以稱為A的劃分。
但是請注意一點:A如果是空集就是一個例外!
規定A是空集時,其劃分只有空集!