# Kleene algebra

## English

Wikipedia has an article on:
Wikipedia

### Etymology

Named for Stephen Cole Kleene.

### Noun

Kleene algebra (plural Kleene algebras)

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