Definition talk:Boolean Algebra/Definition 2

Also see Definition talk:Boolean Algebra/Definition 1