Categories: Cardinal numbers
In mathematics, a cardinal number κ is η-extendible iff for some λ there is a nontrivial elementary embedding of
into
κ is an extendible cardinal iff it is η-extendible for every ordinal number η.