Partielle Isomorphie

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine Bijektion zwischen endlichen Teilstrukturen zweier Strukturen (oder zwischen endlichen Teilmengen mit der induzierten Struktur), die auf ihrem Definitionsbereich und Bild alle Funktions- und Relationsinterpretationen erhält. Eine partielle Isomorphie muss nicht auf dem gesamten Träger definiert sein; sie bezeugt lokale strukturelle Übereinstimmung zwischen Modellen.