\)满足上面规定的所有剩余格等式，除了包含符号∧的之外。定义"x" ≤ "y"为"x"∧"y" = "x"的选项就不可用了，只留下了另一个选项"x"∨"y" = "y"（或任何等价者）。通过简单的省略∧用任何剩余格制作出剩余半格。剩余半格起因于与作用代数的联系，它是也是克莱尼代数的剩余半格，它通常不需要∧。