for g1, g2 being Ordinal-Sequence-valued Sequence st dom g1 = dom g2 & dom g1 <> {} & ( for a being Ordinal st a in dom g1 holds
g1 . a c= g2 . a ) holds
criticals g1 c= criticals g2