This page is about de Morgan algebras satisfying an extra condition. For Kleene star algebras in relation to regular expressions?, see there.
A Kleene algebra is a de Morgan algebra satisfying for all . Since the order is definable in terms of the lattice operators, this can be stated as the equation
Created on January 17, 2019 at 14:26:42. See the history of this page for a list of all contributions to it.