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