在数学中，关系代数是支持叫做逆反(converse)的对合一元运算的剩余布尔代数。激发关系代数的例子是在集合 "X" 上的所有二元关系的代数 formula_1，带有 "R"·"S" 被解释为平常的二元关系复合。关系代数的早期形式形成于十九世纪德·摩根、皮尔士和 Ernst Schröder 的工作。它今日的纯等式形式是阿尔弗雷德·塔斯基和他的学生在 1940 年代开发的。
定义.关系代数 ("L", ∧, ∨, ¬, 0, 1, ·, I, ▷, ◁, ) 是代数结构使得因为