發送短信: Axioms for lattices and boolean algebras