在数学中，集合"X"的划分是把"X"分割到覆盖了"X"的全部元素而又不重叠的“部分”或“块”或“单元”中。更加形式的说，这些“单元”对于被划分的集合是既全无遗漏又互斥的。
定义.集合"X"的划分是"X"的非空子集的集合，使得每个"X"的元素"x"都只包含在这些子集的其中一个内。等价的说，"X"的子集的集合"P"是"X"的划分，如果"P"的元素有时叫作划分的块或部分。
划分和等价关系.如果给定在集合"X"上的一个等价关系，则所有等价类的集合形成"X