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