A
cardinal number κ is called
supercompact 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
αM ⊆
M.
All Wikipedia text
is available under the
terms of the GNU Free Documentation License