## [Propiedad de EmbéDito Conjunto](/es/node/60182) Definición Una propiedad de una clase de estructuras que indica que para cualesquiera dos estructuras de la clase existe una tercera estructura de la clase en la que ambas se embeben; es decir, cualquier par tiene una superestructura común en la clase. ## Principio Principio Para cada par de miembros de la clase existe algún miembro que contiene copias isomorfas de ambos, proporcionando una forma uniforme de comparar y combinar estructuras dispares dentro de la clase. ## Demostración Demostración La clase de grafos finitos tiene JEP porque para dos grafos finitos se puede tomar su unión disjunta (o cualquier grafo mayor que contenga copias disjuntas), produciendo un grafo finito en el que ambos se embeben. ## Aplicación incorrecta Aplicación incorrecta Confundir JEP con la Propiedad de Amalgamación y asumir que las embebidas deben coincidir en las intersecciones; usar JEP para inferir homogeneidad o unicidad de superestructuras no está justificado sin hipótesis adicionales. ## Consecuencia Consecuencia JEP es una condición mínima de coherencia usada junto con otras (como amalgamación y propiedad hereditaria) para construir objetos universales o límites y para comparar modelos mediante embebidas. ## Inversión Inversión El fracaso de JEP significa que existen dos estructuras en la clase sin superestructura común en la clase, impidiendo construcciones globales sencillas e indicando que la clase está desconectada en términos de embebidas. ## Límite Límite Requiere una noción clara de embebida y clausura bajo isomorfismo; no asegura amalgamación ni la existencia de embebidas canónicas, y puede fallar en clases con axiomas restrictivos. ## Tensión semántica Tensión semántica Interactúa con la Propiedad de Amalgamación: JEP garantiza embebibilidad conjunta por pares pero no pegado coherente; la tensión radica en si la embebibilidad par a par basta para las construcciones globales deseadas. ## Síntesis Síntesis La Propiedad de Embédito Conjunto garantiza que cualesquiera dos estructuras de la clase puedan situarse dentro de una sola estructura mayor de la clase, proporcionando una capacidad básica para comparar y combinar modelos mediante embebidas.