Wahrheitserhaltende Abbildung

Eine Abbildung zwischen Sprachen, Formeln oder Strukturen derart, dass immer dann, wenn eine Formel in einer Quellinterpretation oder einem Quellmodell wahr ist, ihr Bild unter der Abbildung in der entsprechenden Zielinterpretation oder im Zielmodell wahr ist (bezüglich der spezifizierten Semantik).