Standard membership model of set theory
= Standard membership model of set theory
{title2=$(M,\in)$}
A model whose relation symbol for membership is interpreted by actual membership restricted to its domain. If the domain is also transitive, it is a <transitive model>. Some conventions include this transitivity requirement in the word standard.