Definition talk:Boolean Algebra/Definition 1