Boolean_algebras_canonically_defined