標準モデル（集合論）

集合論において、理論Tの標準モデルは、 TのモデルMであり、所属関係 ∈ _Mは集合論的宇宙Vの所属関係 ∈ と同じである（ Mのドメインに制限される）。言い換えると、M はVのサブ構造である。 x  ∈  y ∈ Mであればx  ∈  Mとなるという追加の推移条件を満たす標準モデルMは、標準推移モデル（または単に推移モデル）である。  

通常、集合論のモデルMについて話すとき、 Mは集合モデル、つまりMの定義域がV内の集合であると仮定されます。Mの定義域が適切なクラスである場合、Mはクラスモデルです。内部モデルは必然的にクラスモデルです。