超積

数理論理学のとくにモデル理論、あるいは普遍代数学における超積（ちょうせき、英: ultra­product）は、同じシグネチャ（英語版）の数学的構造からなる族の直積の適当な商構造をとる数学的構成を言う。任意の直積因子が等しい特別の場合として、超冪（ちょうべき、英: ultra­power）がある。