theorem :: RELAT_1:42

for R being Relation holds
( dom R = {} iff rng R = {} ) by Th32, Th35;