for psi being Ordinal-Sequence
for e being set st e in rng psi holds
e is Ordinal