• Kleene algebra
• Kleene algebras

Kleene algebra (suomeksi)

Määritelmät:

• (lb, en, algebra) A De Morgan algebra which also satisfies the inequation $x\; \backslash wedge\; \backslash sim\; x\; \backslash leqslant\; y\backslash ,\; \backslash vee\; \backslash sim\; y$ for all ''x'' and ''y'', where "$\backslash sim$" here denotes the De Morgan involution.