In model theory, a first-order theory is called model complete if every embedding of its models is an elementary embedding.
This notion was introduced by Abraham Robinson.
A companion of a theory T is a theory T* such that every model of T can be embedded in a model of T* and vice versa.
Robinson proved that a theory has at most one model companion.
-categorical theory, then it always has a model companion.