このような考察のもと"関係代数とは剰余付きブール代数(L,∧,∨,¬,0,1,•,I,▷,◁)であってI◁が対合となるものである"という直接的な定義が導かれる。
这导致了一个特别直接的定义:关系代数是剩余布尔代数(L,∧,∨,¬,0,1,·,I,▷,◁)使得I◁是对合。