集合划分

集合划分（set partitioning），把一个集合划分成 6 块的欧拉图表示。在数学中，集合 X 的划分是把 X 分割到覆盖了 X 的全部元素的不交叠的“部分”或“块”或“单元”中。更加形式的说，这些“单元”关于被划分的集合是既全无遗漏又相互排斥的。集合 X 的划分是 X 的非空子集的集合，使得所有 X 的元素 x 都精确在这些子集的其中一个内。