Stone algebra

In mathematics, a Stone algebra, or Stone lattice, is a pseudo-complemented distributive lattice such that "a"* ∨ "a"** = 1. They were introduced by and named after Marshall Harvey Stone.
Boolean algebras are Stone algebras, and Stone algebras are Ockham algebras.
Examples: