theorem Th35: :: RELAT_1:41

for R being Relation st ( dom R = {} or rng R = {} ) holds
R = {} ;