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