e/Critical point (set theory)

Information
has gloss	eng: In set theory, the critical point of an elementary embedding of a transitive class into another transitive class is the smallest ordinal which is not mapped to itself.
lexicalization	eng: critical point
instance of	e/Large cardinal