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