A partition of a set is a collection of pairwise disjoint nonempty sets such that .
Any partition of a set introduces an equivalence relation on , where each is an equivalence class. Similarly, given an equivalence relation on , the collection of distinct equivalence classes is a partition of .