Let be a Graph and . Suppose that for any sets such that for all we have that is -List Colouring. Then is -list-colourable. The list chromatic number of is the smallest such that is -list-colourable.