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 .
|Date of creation||2013-03-22 12:55:43|
|Last modified on||2013-03-22 12:55:43|
|Last modified by||Henry (455)|