量的一阶逻辑(FOL)公式(一个给定的变量可被量化多次只要量词不嵌套)。另人惊讶，这个 FOL 片段足够表达皮亚诺算术和几乎所有已经提议的公理化集合论。所以 RA 在效果上是代数化几乎所有数学的一种方式，而免除了 FOL 和它的连结词、量词、十字转门和肯定前件。因为 RA 可以表达皮亚诺算术和集合论，哥德尔不完备性定理适用于它， RA 是不完备的、不可完备的和不可判定性的。(N.B. 这些性质不能描述 RA 的布尔逻辑片段。)形成的类 RRA 的可表示的关系代数是同构于构成自在某个集合上的二元关系并闭合