- Let = be a graph and a set of “colors”
A vertex-coloring (barvanje točk) of is a function : . The coloring is proper (pravilno) if () . is -vertex-colorable (točkovno -obarvljiv) if there exists a proper vertex-coloring with = .
- is -colorable is -colorable for any .
Chromatic number (kormatično število) of :
= mink : is -vertex-colorable