下列两个事物之一:
定义.在文献中给出了 Kleene 代数和相关结构的各种不等价的定义。总揽可见 [1]。下面给出当代最常用的定义。Kleene 代数是带有分别写为 "a" + "b"、"ab" 和 "a"* 的，两个二元运算+ : "A" × "A" → "A" 和 · : "A" × "A" → "A"，和一个函数 * : "A" → "A" 的集合 "A"，所以满足下列公理。上述公理定义了一个半环。我们进一步要求:现在可以定义在 "A" 上的偏序 ≤，通过设定