Test de Tarski‑Vaught

Un criterio sintáctico para determinar cuándo una subestructura A de una estructura M (en un lenguaje de primer orden dado) es una subestructura elemental: A es elemental en M si y solo si para toda fórmula φ(x,y) y todo tuplo a de A, si M satisface ∃x φ(x,a) entonces existe b en A tal que M satisface φ(b,a).