A partition of a set S is a set of nonempty mutually disjoint subsets of S such that their union is S.
Each element of a partition is called a cell or equivalence class.
Each partition of S uniquely determines and is uniquely determined by a particular equivalence relation on S.