Finite coloring
= Finite coloring
= Finite colouring
{synonym}
A finite coloring of a set $X$ is a <function> $c:X\to C$ into a <finite set> $C$ of colors. A subset is monochromatic when the restriction of $c$ to it is <constant function>[constant].