集合 X 的划分是 X 的非空子集的集合,使得所有 X 的元素 x 都精确在这些子集的其中一个内.等价的说,X 的子集的集合 P 是 X 的划分,如果没有 P 的元素是空集.(NB - 某些定义不需要这个要求) P 的元素的并集等于 X.(我...