theorem Th19: :: ORDINAL6:19

for X being ordinal-membered set holds rng (numbering X) = X