 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.