Application Préservant la Vérité

Un mappage entre langages, formules ou structures tel que, chaque fois qu’une formule est vraie dans une interprétation ou un modèle source, son image par le mappage est vraie dans l’interprétation ou le modèle cible correspondant (par rapport à la sémantique spécifiée).