Boolean algebra (structure)

Complemented distributive lattice