Let be a Graph and let be sets for each . An -list-colouring of is a function such that

for every .