英文
partition of a set
简介
集合论的基本概念之一.指对集合进行分类的抽象表示.假设把集合(或类)A分成若干类，那么同一个元素不可能分在两个或两个以上不同的类中，所有类中的元素合并起来即是A本身.这一思想可形式的表示为：若F⊆P(A)，F满足：
1.∪F=A;
2.对任何X，Y∈F，X∩Y=∅;
则F构成A的一个分类，或称F为A上的一个划分.如对自然数集，N0，N1分别表示偶数集与奇数集，则F={N0，N1}构成N上的一个划分.集合的划分概念与集合的等价关系有密切的关系，通常是通过构造集合上的一个等价关系对集合进行划分(参见“等价关系”).