 Partition of a set

A partition of a set $X$ is a family of pairwise disjoint nonempty subsets whose union is $X$. 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.