theorem Th2: :: YELLOW14:2

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