A model of an elementary theory that can be embedded in every model of . If is model complete (cf. Model theory) and admits a prime model, then is complete. This fact is called the prime model test.

The prime model of the elementary theory of all fields with fixed characteristic is the prime field of that characteristic.