Boolean lattice see "Boolean algebra"