e/Huge cardinal

Information
has gloss	eng: In mathematics, a cardinal number κ is called huge if there exists an elementary embedding j : V → M from V into a transitive inner model M with critical point κ and
lexicalization	eng: huge cardinal
instance of	e/Large cardinal