Seien R1 und R2 Binärrelationen über der gleichen Grundmenge. Für welche Mengenoperationen
@ ∈ {∩, ∪} und Binärrelationseigenschaften E ∈ {Reflexivität, Symmetrie, Antisymmetrie, Transitivität, rechtseindeutigkeit, linkstotalität} trifft die folgende Aussage zu.
Falls R1 und R2 Eigenschaft E haben, so hat auch R1 @ R2 Eigenschaft E.
Bsp : falls R1 symmetrisch und R2 symmetrisch so ist auch R1∩R2 symmetrisch.