∀R1,R2∈ℛ(R1∪R2∈ℛ)