Propiedad de Amalgamación

Propiedad de una clase de estructuras que significa que cualesquiera dos estructuras de la clase que comparten una subestructura común pueden ser embebidas en una única estructura de la clase de modo que las dos embebidas concuerden en la subestructura común (se amalgaman).

Una clase de estructuras (a menudo una variedad o una clase de modelos) tiene la propiedad de amalgamación (AP) cuando cualquier par de inmersiones de una subestructura común en dos estructuras puede ser embebido conjuntamente en una superestructura de modo que las dos inmersiones concuerden en la parte común (existe un amalgama o empuje para el diagrama de inmersiones).