Isomorphismus (Logik)

Ein Isomorphismus ist ein bijektiver Homomorphismus, dessen Umkehrfunktion ebenfalls ein Homomorphismus ist.
Insbesondere gilt für Relationen die stärkere Bedingung: $\overline{a}\in R^{\mathcal{A}}⟺h(\overline{a})\in R^{\mathcal{B}}$.
Zwei Strukturen sind isomorph ($\mathcal{A}\cong \mathcal{B}$), wenn es einen Isomorphismus zwischen ihnen gibt. Sie sind strukturell ununterscheidbar.