Stone algebra

Summary

A Stone algebra is a bounded distributive lattice in which every element $a$ has a pseudocomplement $a^*$ and $a^* \vee a^{**} = 1$ holds. The identity $a^* \vee a^{**} = 1$ is called the Stone identity. Every Boolean algebra is a Stone algebra, and so is every bounded chain. Stone algebras lie between Boolean algebras and general pseudocomplemented distributive lattices.