Algebraická struktura. Grupové vs. svazové algebry.
Uspořádané množiny. Axiomatizace.
Booleovy algebry, zúpln ění Booleových algeber. Reprezentace a užití Booleových algeber.