关系代数 (抽象代数) 这里的关系代数不同于 Edgar F Codd 在年为关系数据库开发的关系代数 在数学中关系代数是支持叫做逆反converse的对合一元运算的剩余布尔代数激发关系代数的例子是在集合 X 上的所有二元关系的代数  X  displaystyle X 带有 RS 被解释为平常的二元关系复合关系代数的早期形式形成于十九世纪德摩根皮尔士和 Ernst Schröder 的工作它今日的纯等式形式是阿尔弗雷德塔斯基和他的学生在  年代开发的