A transitive model of set theory is a transitive set or transitive class whose membership relation is the ambient membership relation and which satisfies the specified set-theoretic axioms.
New to topics? Read the docs here!
New to topics? Read the docs here!