Ekvivalence, ekvivalenční třídy.
Věta o 5 barvách, důkaz
Ak graf má všechna vrcholy sudého stupne, tak existuje orientovaný graf s degIN=degOUT\deg^{IN} = \deg^{OUT}degIN=degOUT
Máme n výroků x1∨x2∨x3x_1 \vee x_2 \vee x_3x1∨x2∨x3, střední hodnota počtu pravdivých.