Definition 16.5 (Atomic, prime). Fix $M\models T$.

• We say $M$ is atomic if every $n$-type over $\varnothing$ realised in $M$ is isolated.

• We say $M$ is prime if for any $N\models T$ there is an elementary embedding $M\to N$.