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