Dos estructuras M y N (misma firma) son elementalmente equivalentes cuando satisfacen exactamente las mismas oraciones de primer orden (sin parámetros); se escribe M ≡ N. La equivalencia se refiere a oraciones cerradas, no a fórmulas con parámetros.

Principio

La regla organizadora es el acuerdo sobre la teoría completa de primer orden en la firma dada: M y N no pueden distinguirse por ninguna oración cerrada de primer orden.

Demostración

Ejemplo: Los órdenes (Q,<) y (R,<) son elementalmente equivalentes en el lenguaje de órdenes lineales sin extremos porque ambos cumplen la teoría completa de órdenes lineales densos sin extremos, a pesar de no ser isomorfos.

Aplicación incorrecta

Suponer que equivalencia elemental implica isomorfismo o acuerdo en fórmulas con parámetros; confundir M ≡ N con M ≺ N o con la existencia de una inmersión entre ellas.

Consecuencia

La equivalencia elemental implica que los modelos comparten las mismas consecuencias de primer orden y por tanto la misma teoría completa; esto permite transferir propiedades a nivel de oraciones y clasificar modelos por teoría en lugar de por clase de isomorfismo.

Inversión

La no equivalencia ocurre cuando existe alguna oración de primer orden verdadera en una estructura y falsa en la otra, de modo que satisfacen teorías completas distintas.

Límite

La equivalencia elemental es relativa a una firma fija y se ocupa de oraciones sin parámetros. No implica elementaridad de inmersiones, acuerdo en fórmulas parametrizadas ni preservación de invariantes modelo‑teóricos como cardinalidad o saturación.

Tensión semántica

La tensión está entre la equivalencia teórica y la similitud estructural: modelos elementalmente equivalentes pueden ser muy distintos (diferentes cardinalidades, topologías o tipos de orden), lo que subraya la diferencia entre teoría sintáctica y estructura concreta.

Síntesis

La equivalencia elemental agrupa estructuras que satisfacen las mismas oraciones cerradas de primer orden: son indistinguibles al nivel de la teoría de primer orden aunque difieran en tamaño, topología u otras características no expresables por oraciones.