Transitive model
= Transitive model
{wiki}
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.
= Transitive model
{wiki}
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.