超積
モデル理論および集合論において超極限 (ultralimit) あるいは極限超冪 (limiting ultrapower) は超冪の列の帰納極限を言う。
構造 A0 と超フィルター D0 があらかじめ与えられているとして、それらから超冪 A1 を作り、さらにそこから A2 を作り、以下同様に繰り返す。各 n に対して、標準的な対角線埋め込み An ↪ An+1 が存在するから、その極限段階 Aω は帰納極限として得られる。これはさらに超限段階まで続けることができる。