RRA 生成的簇是簇 RA 的真子簇。在 1955 年 Alfred Tarski 证明了 RRA 自身是个簇，但是 Donald Monk 在 1964 年证明它没有有限公理化，不像 RA 可以通过定义有限公理化。不是所有关系代数都是可表示的是它同布尔代数之间的根本区别，它可以表示为某个集合的闭合在并集、交集和补集下的子集的集合。
历史注记.德·摩根在 1860 年创立了 RA，而皮尔士深化了它并着迷于它的哲学力量。德·摩根和皮尔士的工作主要为人所知于 Ernst Schröd