Anfonwch hwn fel neges destun: Axioms for lattices and boolean algebras