Una subestructura M de una estructura N (misma firma) que preserva la verdad de toda fórmula de primer orden con parámetros de M; formalmente, para toda fórmula φ(x1,..,xn) y todo n‑tuplo a de M, N ⊨ φ(a) si y solo si M ⊨ φ(a). Se anota frecuentemente M ≺ N.

Principio

La regla organizadora es la preservación de la verdad de propiedades de primer orden con parámetros tomados del dominio menor: no aparecen en N nuevas verdades de primer orden sobre elementos de M ni se pierden en M al considerarlas en N.

Demostración

Ejemplo: En el lenguaje de cuerpos ordenados, el cuerpo de los racionales no es subestructura elemental de los reales porque la fórmula «existe x tal que x^2 = 2» es verdadera en R y falsa en Q. De forma trivial, toda estructura es subestructura elemental de sí misma (M ≺ M).

Aplicación incorrecta

Tratar como elemental a cualquier subestructura simplemente porque está cerrada bajo las operaciones de la firma; confundir subestructura elemental con mera subestructura, con copia isomorfa o con cierre existencial sin comprobar la preservación de todas las fórmulas de primer orden.

Consecuencia

Si M ≺ N, cualquier frase de primer orden con parámetros en M que sea verdadera en N ya lo era en M; esto permite transferir definibilidad, tipos realizados en M y muchos argumentos modelo-teóricos (back-and-forth, pruebas de elementaridad) entre ambas estructuras.

Inversión

La noción inversa es una subestructura que no es elemental: un subconjunto cerrado bajo las operaciones que, sin embargo, falla en preservar alguna fórmula de primer orden con parámetros del subconjunto.

Límite

La elementaridad es una noción de primer orden relativa a una firma fija y solo admite parámetros de la subestructura; no regula enunciados de orden superior ni propiedades metamatemáticas como la cardinalidad, salvo que sean expresables en primer orden.

Tensión semántica

Hay tensión entre elementaridad y relaciones más débiles como equivalencia elemental, inmersión existencial o mera isomorfía: la subestructura elemental exige acuerdo total en fórmulas con parámetros, las otras no.

Síntesis

M ≺ N significa que, respecto a la lógica de primer orden y a los parámetros de M, N no aporta nuevo contenido sobre M; es la condición que formaliza ‘no aparecen nuevos hechos de primer orden sobre M en N’.