for f1, f2 being Ordinal-Sequence st f1 c= f2 holds
criticals f1 c= criticals f2