一方、x˘はx▷IまたはI◁xとして定義することができて、そうした場合に関係代数は剰余付きブール代数と同じ算号系を持つことになる。
在另一方面，x˘{\displaystyle{\breve{}}}可定义为要么x▷I要么I◁x，从而关系代数可以有同剩余布尔代数一样的标识。