Kleene algebra

Etymology
Named for.

Noun

 * 1)  A De Morgan algebra which also satisfies the inequation $$x \wedge \sim x \leqslant y\, \vee \sim y$$ for all x and y, where "$$\sim$$" here denotes the De Morgan involution.

Hypernyms

 * Ockham algebra
 * distributive lattice
 * distributive lattice