Homomorphismus (Logik)

Ein Homomorphismus $h:\mathcal{A}\to \mathcal{B}$ ist eine Funktion zwischen den Universen zweier Strukturen, die die Struktur erhält:

1. Relationen: $\overline{a}\in R^{\mathcal{A}}⟹h(\overline{a})\in R^{\mathcal{B}}$.
2. Funktionen: $h(f^{\mathcal{A}}(\overline{a}))=f^{\mathcal{B}}(h(\overline{a}))$.
3. Konstanten: $h(c^{\mathcal{A}})=c^{\mathcal{B}}$.