Un graphe est -choosable (également appelé -list-colorable ) si, pour toute fonction qui mappe des sommets sur des ensembles de couleurs, il existe une affectation de couleur telle que, pour tous les sommets , , et tel que, pour tous les , .k f k c v c ( v ) ∈ f ( v ) v w c ( v ) ≠ c ( w...