##  [Extensión Elementaria](/es/node/60090) 

  ##  [Extensión Elementaria](https://mathlogic.quantumdictionary.io/es/node/60091) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Definición

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.

 

 

 

 

 





 

 



 ##  [Extensión Elementaria](https://algebra.quantumdictionary.io/es/node/63985) 

  

 [![Algebra](/sites/default/files/styles/large/public/2026-01/Algebra.png.webp?itok=3pHxBnUF)](/topic-specific-dictionaries/pure-mathematics/algebra)

- Pure Mathematics -

**Algebra Dictionary**

 







 

 

 

 



 

 

 

 

Definición

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.