= "x"。对于例子 3 是不可能的因为 "x"▷I 几乎没有保留关于 "x" 的任何信息。所以在例子 2 中我们用 "x" 代换 "x"▷I = "x" = I◁"x" 中的 "x" 并消去得到"x" = "x" 可以从这两个方程证明。塔斯基的关系代数概念可以定义有满足这两个等式的一个运算 "x" 的剩余布尔代数。上面的消去步骤对于例子 3 是不可能的，因此它不是关系代数，"x" 唯一确定为 "x"▷I。逆反的这个公理化的推论包括 "x" = "x"、 ¬("x") = (¬"x")、("x