for R being Relation holds
( rng R = dom (R ~) & dom R = rng (R ~) )