在所有等式的模型中自反传递闭包。
定义.作用代数 ("A", ∨, 0, ·, 1, ←, →, *) 是代数结构使得 ("A", ∨, ·, 1, ←, →) 形成剩余半格而 ("A", ∨, 0, ·, 1, *) 形成克莱尼代数。就是说，它是接合这两类代数理论的任何模型。现在克莱尼代数是用准等式公理化的，就是说，暗含在两个或更多等式之间，在直接以这种方式公理化的时候作用代数也是如此。使作用代数有特殊价值的是它们有等价的纯粹等式公理化。在后面我们写不等式 "a" ≤ "b"