A partition of a set is a family of pairwise disjoint nonempty subsets whose union is . Every equivalence relation defines a partition into equivalence classes, and conversely belonging to the same cell of a partition defines an equivalence relation. The nonempty colour classes of a finite colouring form a finite partition.
