In mathematics, a cardinal number κ is called huge iff there exists an elementary embedding j : VM from V into a transitive inner model M with critical point κ and j(κ)MM.