Boolean algebra (introduction)#Boolean algebras