# nLab Kleene algebra

Kleene algebra

This page is about de Morgan algebras satisfying an extra condition. For Kleene star algebras in relation to regular expressions?, see there.

# Kleene algebra

## Definition

A Kleene algebra is a de Morgan algebra $D$ satisfying $x \wedge \neg x \le y \vee \neg y$ for all $x,y\in D$. Since the order is definable in terms of the lattice operators, this can be stated as the equation

$x \wedge \neg x \wedge (y \vee \neg y) = x \wedge \neg x.$

## Examples

• Any Boolean algebra is a Kleene algebra, with $\neg$ the logical negation.
• The unit interval $[0,1]$ is a Kleene algebra, with $\neg x = (1-x)$.

Created on January 17, 2019 at 14:26:42. See the history of this page for a list of all contributions to it.