theorem :: RELAT_1:162

for Q, R being Relation st rng R = {} & rng Q = {} holds
R = Q ;