数学の抽象代数学の分野において関係代数(relationalgebra)とは''逆''と呼ばれる対合を持つresiduedbooleanalgebraのことである.
residuedbooleanalgebra