把一个集合划分成 6 块的欧拉图表示。在数学中，集合 X 的划分是把 X 分割到覆盖了 X 的全部元素的不交叠的“部分”或“块”或“单元”中。更加形式的说，这些“单元”关于被划分的集合是既全无遗漏又相互排斥的。
数学定义
集合 X 的划分是 X 的非空子集的集合，使得所有 X 的元素 x 都精确在这些子集的其中一个内。
等价的说， X 的子集的集合 P 是 X 的划分，如果 没有 P 的元素是空集。( NB - 某些定义不需要这个要求) P 的元素的并集等于 X。(我们称 P 的元素 覆盖X。) P 的任何两个元素的交集为空。(我们称 P 的元素是两两不相交。) P 的元素有时叫做划分的 块或 部分。