张。集合论的模型称之为标准的，若此模型的元素关系是侷限于此模型中的真实元素关系。模型称之为传递的，若其为标准的，且之中的基础类为集合中的传递类。集合论的模型通常假定为传递的，除非明确指明其为非标准的。内模型是传递的，传递模型是标准的，而标准模型则是良基的。假定存在一个ZFC 的标准模型，要比假定存在一个模型来得强。实际上，若存在一个标准模型，则会存在一个包含于所有标准模型中的最小标准模型，称之为最小模型。
用途.谈及某理论的内模型时，考虑的理论通常是 ZFC 或其扩展，例如