Boolean algebras canonically defined

Boolean algebras are models of the equational theory of two values; this definition is equivalent to the lattice and ring definitions. Boolean algebra is a mathematically rich branch of abstract algebra.