Countable transitive model
= Countable 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.
A countable transitive model is in particular a <standard model (set theory)> with both countability and transitivity.