Word.ws English Dictionary

Kleene algebra

Kleene algebra noun: a De Morgan algebra which also satisfies the inequation x∧∼x⩽y,∨∼y for all x and y, where "∼" here denotes the De Morgan involution.

Noun

Kleene algebra (plural Kleene algebras)

  1. A De Morgan algebra which also satisfies the inequation x∧∼x⩽y,∨∼y for all x and y, where "∼" here denotes the De Morgan involution.

Forms of Kleene algebra

pluralKleene algebras

Origin of Kleene algebra

Named for Stephen Cole Kleene.

Questions about Kleene algebra

What does Kleene algebra mean?
Kleene algebra means a De Morgan algebra which also satisfies the inequation x∧∼x⩽y,∨∼y for all x and y, where "∼" here denotes the De Morgan involution.
What part of speech is Kleene algebra?
Kleene algebra is a noun.
What is the plural of Kleene algebra?
The plural of Kleene algebra is Kleene algebras.

Words near Kleene algebra in the dictionary

  1. Kleeman
  2. kleemanite
  3. Kleemans
  4. Kleen
  5. Kleene
  6. Kleene algebra
  7. Kleene algebras
  8. Kleene closure
  9. Kleene closures
  10. Kleene fixed-point theorem
  11. Kleene hierarchy

Source and license

Adapted from Wiktionary: Kleene algebra (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “Kleene algebra.” Word.ws, https://word.ws/kleene_algebra. Based on Wiktionary, CC BY-SA 4.0.