\begin{definition}[Definition:Coloring/Why Colors?]
It is clear that the nature of the actual elements of a coloring $C$ is irrelevant.
They are traditionally referred to as '''colors''' because this subfield of graph theory arose from considerations of the coloring of the faces of planar graphs such that adjacent faces have different '''colors'''.
This was the origin of the famous Four Color Theorem.
Category:Definitions/Graph Colorings
\end{definition}