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