剰余付きブール代数は有限個の等式で公理化されるので、関係代数もそうであり、それがゆえに関係代数全体の成すraは有限公理化多様体を形成する。