La relación de que una estructura puede inyectarse en otra mediante un homomorfismo inyectivo (embebido) que preserva las interpretaciones de todos los símbolos y, según la noción precisa, refleja las relaciones cuando sea necesario. La embebibilidad afirma que existe una copia de la primera estructura dentro de la segunda, a isomorfismo sobre su imagen.

Principio

Inclusión estructural hasta isomorfismo: la embebibilidad se organiza por la existencia de una aplicación inyectiva que preserva la estructura de una estructura en otra y cuyo imagen es una subestructura (o satisface las condiciones de preservación/reflexión elegidas) del objetivo.

Demostración

Un ejemplo sencillo: el grafo que consiste en un camino de longitud n es embebible en cualquier grafo mayor que contenga un camino de longitud n mediante la aplicación inyectiva obvia; los enteros como grupo ordenado se embeben en los racionales como grupos ordenados mediante la inclusión. Tales embeddings atestiguan que todas las relaciones y operaciones de la estructura pequeña están realizadas dentro de la mayor.

Aplicación incorrecta

Confundir embebibilidad con ser subestructura (la imagen embebida puede no ser cerrada bajo operaciones adicionales en lenguajes con símbolos de función, salvo que se especifique), o tratar homomorfismos no inyectivos como embeddings. Otro mal uso es asumir que la embebibilidad es simétrica; normalmente no lo es.

Consecuencia

La embebibilidad induce un preorden sobre tipos de isomorfismo y es central para cuestiones de clasificación y universalidad; saber qué estructuras se embeben en otras informa sobre la transferencia de propiedades, la construcción de modelos universales y nociones de obstrucción mínima.

Inversión

No-Embebibilidad: la negación identifica obstrucciones (invariantes o barreras combinatorias) que impiden cualquier aplicación inyectiva que preserve la estructura. Invertir la embebibilidad conduce a tomar cocientes o colapsar estructura, no a una relación simétrica.

Límite

Depende de la convención de preservación/reflexión elegida: los embeddings suelen preservar funciones y relaciones y son inyectivos; los embeddings elementales imponen preservación adicional a nivel de fórmulas de primer orden. La embebibilidad se refiere a aplicaciones entre estructuras enteras, no a correspondencias arbitrarias entre partes pequeñas, y no permite añadir nuevos elementos del dominio destino en la aplicación de embedding.

Tensión semántica

Embebibilidad versus Embedding Elemental: la embebibilidad exige preservación de la estructura a nivel de firma, mientras que un embedding elemental exige preservación de todas las fórmulas de primer orden; algunos embeddings son elementales, la mayoría no, y confundirlos tergiversa la fuerza modelística de la noción.

Síntesis

La embebibilidad captura cuándo una estructura puede realizarse dentro de otra mediante una aplicación inyectiva y estructura-preservadora: formaliza la idea de que un objeto aparece como una copia fiel dentro de otro y organiza comparaciones, preórdenes y fenómenos de universalidad entre estructuras.