Extendible cardinal

In mathematics, a cardinal number κ is η-extendible iff for some λ there is a nontrivial elementary embedding of V_&kappa+η into V_λ.

κ is an extendible cardinal iff it is η-extendible for every ordinal η.