関係代数とは組(L,∧,∨,¬,0,1,•,I,▷,◁,˘)であって、以下の条件を満たすものである:(L,∧,∨,•,I,▷,◁)は剰余付きブール代数である。
剩余布尔代数是代数结构(L,∧,∨,¬,0,1,·,I,\,/)使得(i)(L,∧,∨,·,I,\,/)是剩余格，而(ii)(L,∧,∨,¬,0,1)是布尔代数。