Prime model

In mathematics, and in particular model theory, a prime model is a model which is as simple as possible. Specifically, a model ${\displaystyle P}$ is prime if it admits an elementary embedding into any model ${\displaystyle M}$ to which it is elementarily equivalent (that is, into any model ${\displaystyle M}$ satisfying the same complete theory as ${\displaystyle P}$).

...
Wikipedia