合关系代数应用的一个等价标识(signature)是 ("L", ∧, ∨, ¬, 0, 1, ·, I, ▷, ◁)，这里的一元运算 "x"\ 和 "x"▷ 是可用如下德·摩根定律的方式相互转换的：和对偶的为 /"y" 和 ◁"y" 使用：而在剩余格中的剩余公理因而(替代 "z" 为 ¬"z")改写为这个德·摩根对偶重公式化在下面关于共轭的段落中详细讨论。因为剩余格和布尔代数都可以用有限多等式定义，剩余布尔代数也是如此，因此它们形成了可有限公理化的一个簇。
例子.1