Zwei algebraische Strukturen sind ''isomorph,'' wenn es eine in beiden Richtungen eindeutige Übersetzung zwischen ihren Elementen und Operatoren gibt, und damit die Übersetzung des Wertes eines gültigen Terms in der einen Struktur stets gleich ist dem Wert desselben Terms, in dem man aber die eingehenden Elemente und Operatoren vorab in die andere Struktur übersetzt hätte. Einander entsprechende Elemente und Operatoren ''isomorpher'' Strukturen können ganz verschieden sein; gegenüber den anderen Elementen und Operatoren ihrer eigenen Struktur, also formal, spielen sie jedoch die völlig entsprechende Rolle. ''Isomorphe'' Strukturen sind deshalb in formaler Hinsicht gleich und unterscheiden sich voneinander nur in den Benennungen von Elementen und Operatoren.
''ohne Steigerung, [[Mathematik]]:'' [[bedeutungsgleich]]e [[Teil]]e zweier [[Struktur]]en