##  [Model Completeness](/model-completeness) 

  ##  [Model Completeness](https://algebra.quantumdictionary.io/model-completeness-0) 

  

 [![Algebra](/sites/default/files/styles/large/public/2026-01/Algebra.png.webp?itok=3pHxBnUF)](/topic-specific-dictionaries/pure-mathematics/algebra)

- Pure Mathematics -

**Algebra Dictionary**

 







 

 

 

 



 

 

 

 

Definition

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.