X"的非空子集的集合，使得每个"X"的元素"x"都只包含在这些子集的其中一个内。等价的说，"X"的子集的集合"P"是"X"的划分，如果"P"的元素有时叫作划分的块或部分。
划分和等价关系.如果给定在集合"X"上的一个等价关系，则所有等价类的集合形成"X"的一个划分。反过来说，如果给定在"X"上的一个划分"P"，我们可以在"X"上定义等价关系~，使得"x" ~ "y"当且仅当存在"P"的一个成员包含"x"和"y"二者。“等价关系”和“划分”的概念因此本质上是等价的。