Model Completeness

A property of a first-order theory T saying that every embedding between models of T is an elementary embedding; equivalently, every formula is T-equivalent to an existential formula (or a universal formula after negation) so truth is preserved under substructure embeddings that are embeddings of models of T.