Def. ekvivalence a její třídy
Věta o 5 barvách
#(A,B):A⊆B⊆{1...n}3*) #(A,B):A⊂B⊂{1...n}4 strom s vrcholem stupně k má alespoň k listů
