Svazy a Booleovy algebry - Mlénský, Dalibor (1992)