for X being set
for Y being Subset of X holds rng ((id X) | Y) = Y