for X being set holds
( dom (id X) = X & rng (id X) = X ) ;