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