Homomorphismus Zwischen Strukturen

Eine Abbildung zwischen zwei Strukturen (in derselben Signatur), die die Interpretationen von Funktionssymbolen erhält und Tupel, die eine Relation im Definitionsbereich erfüllen, auf Tupel abbildet, die die entsprechende Relation im Ziel erfüllen. Für Konstanten trägt sie bezeichnete Elemente auf bezeichnete Elemente.