Definice cesta, tah, graf
Věta o rozkladných třídách ekvivalence R[x] \neq 0
a R[x] \cup R[y] \neq 0 \Rightarrow R[x]=R[y]
Klasika - loterie s 10 čísly, losuje se 5 čísel, sázkař hádá 5 čísel, kolik jich nepravděpodobněji tipne :)
+ doplňující - Booleovo uspořádání