设R、S都为X上的二元关系，则[图]。...

设R、S都为X上的二元关系，则。

设R与S都为集合X上的传递的二元关系，则也为集合X上的传递的二元关系。

设R与S都为集合X上的传递的二元关系，则也为集合X上的传递的二元关系。

设R是集合A上的二元关系，假定存在s和t，且s＜t，使R^s=R^t，则：

设是X上二元关系的一个无穷序列，当每个关系是对称关系时，也是对称关系。