Boolean algebra
lattice that models the classical propositional logic
algebra of sets
mathematical identities and relationships involving sets
two-element Boolean algebra
boolean algebra
free Boolean algebra
free object in the category of Boolean algebras