 Standard membership model of set theory

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.