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