定义：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是空集时，其划分只有空集！