Countable transitive model
= Countable transitive model
{wiki=Transitive_model}
A countable transitive model is a countable set $M$ such that membership on $M$ is the actual membership relation, $M$ is transitive, and $(M,\in)$ satisfies the specified axioms of set theory.