Kleene algebra
English edit
Etymology edit
Named for Stephen Cole Kleene.
Noun edit
Kleene algebra (plural Kleene algebras)
- (algebra) A De Morgan algebra which also satisfies the inequation for all x and y, where " " here denotes the De Morgan involution.