Strong cardinal
A cardinal number κ is called strong iff for all ordinal numbers α there exists an elementary embedding j : V → M from V into a transitive inner model M with critical point κ and Vα ⊆ M.