Model complete theory
= Model complete theory
{wiki=Model_complete_theory}
In mathematical logic, a **model complete theory** is a type of first-order theory that has a specific structure regarding its models. A theory \\( T \\) is called model complete if every embedding (i.e., a structure-preserving map) between any two models of \\( T \\) is an isomorphism when the models are elementarily equivalent.