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