Noun
Kleene algebra (plural Kleene algebras)
(algebra) A De Morgan algebra which also satisfies the inequation
x
∧
∼
x
⩽
y
∨
∼
y
{\displaystyle x\wedge \sim x\leqslant y\,\vee \sim y}
for all x and y, where "Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wiktionary.org/v1/":): {\displaystyle \sim}
" here denotes the De Morgan involution.