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.