theorem Th49: :: ORDINAL6:49

for f being Ordinal-Sequence
for g being Ordinal-Sequence-valued Sequence st f in rng g holds
dom (criticals g) c= dom f