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