超積
超冪は任意の因子 Mi が相等しい(それを M と書く)ときの超積 M κ / U = ∏ α < κ M / U {\textstyle M^{\kappa }/U=\prod _{\alpha <\kappa }M/U} を言う。
より一般に、上記の構成は U が I 上のフィルターである限りにおいて敷衍でき、得られるモデル ∏ i ∈ I M i / U {\textstyle \prod _{i\in I}M_{i}/U} を被約積 (reduced product) と呼ぶ。