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.
