A coloring of a set by is just a function . The term coloring is used because the function can be thought of as assigning a “color” from to each element of .

Any coloring provides a partition of : for each , , the set of elements such that , is one element of the partition. Since is a function, the sets in the partition are disjoint, and since it is a total function, their union is .