Propiedad de EmbéDito Conjunto

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.