For a graph having chromatic number , an equivalence relation is defined on the set consisting of all proper vertex -colorings of . This leads naturally to an equivalence relation on the set consisting of all partitions of into independent subsets of color classes. The notion of a partition type arises and the algebra of types is investigated.