critical point

the smallest ordinal which is not mapped to itself by an elementary embedding of a transitive class into another

Categories: