Equivalencia Elementaria

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.

Una relación entre dos estructuras en el mismo lenguaje según la cual satisfacen exactamente las mismas oraciones de primer orden; equivalentemente, sus teorías completas de primer orden coinciden.