Isomorfismo de Modelo

Una relación formal entre dos modelos en la que existe un mapeo biyectivo entre sus elementos y relaciones que preserva la estructura de conexiones y operaciones; cuando hay isomorfismo, las propiedades e inferencias formales válidas en un modelo corresponden a propiedades formalmente equivalentes en el otro, independientemente de etiquetas ontológicas distintas.