Modellisomorphismus

Eine formale Relation zwischen zwei Modellen, bei der es eine bijektive Abbildung zwischen ihren Elementen und Relationen gibt, die die Struktur von Verbindungen und Operationen erhält; wenn Isomorphismus vorliegt, entsprechen formale Eigenschaften und Schlussfolgerungen eines Modells formal äquivalenten Eigenschaften im anderen, unabhängig von unterschiedlichen ontologischen Bezeichnungen.