### Transitive model

A **transitive model** of set theory (this could be of ZFC , or another theory of sets) is any model $\langle\mathrm{M},\in\rangle$ that is both *standard* and *transitive*. It is standard if the symbol $\in$ is interpreted as the standard membership relation in set theory, and it is transitive if the universe $\mathrm{M}$ is a transitive set, i.e. if $A\subset\mathrm{M}$ for all $A\in M$.

# model-theory

# set-theory

back to home page