theorem Th32: :: ORDINAL6:32

for f being Ordinal-Sequence holds dom (criticals f) c= dom f