这是关系代数的更常见的标识。在另一方面，"x" 可定义为要么 "x"▷I 要么 I◁"x"，从而关系代数可以有同剩余布尔代数一样的标识。对于这个定义公理变成了 ("x"▷I)▷I = "x" = I◁(I◁"x")。但是这简单的断言了 ▷I 和 I◁ 是对合。Jónsson 和 Tsinakis 已经证明了如果任何一个是对合则另一个也是并且它们是同一个运算，也就是逆反。这导致了一个特别直接的定义:当 "x"◁"y" 被看作某种形式的 "x" 对 "y" 的商的时候，I 可看作对应的乘法单位元，I◁"x"