Extensión Elementaria

Una estructura N es una extensión elemental de una estructura M (misma firma) si M es subestructura elemental de N; equivalentemente, toda fórmula de primer orden con parámetros en M tiene el mismo valor de verdad en M y en N. Notación: M ≺ N o N ⪰ M.

Una estructura B es una extensión elemental de una estructura A (mismo lenguaje de primer orden) si A es una subestructura elemental de B; equivalentemente, toda fórmula de primer orden con parámetros de A se cumple en A exactamente cuando se cumple en B. Se denota B ≻ A.