Standard model (set theory)
= Standard model (set theory)
{wiki}
A standard model of <set theory> interprets membership by the ambient membership relation restricted to its domain. A <transitive model> additionally has a <transitive set> or class as its domain. Standardness alone does not impose transitivity.