Mapeo Que Preserva la Verdad

Un mapeo entre lenguajes, fórmulas o estructuras tal que siempre que una fórmula es verdadera en una interpretación o modelo fuente, su imagen bajo el mapeo es verdadera en la interpretación o modelo objetivo correspondiente (con respecto a la semántica especificada).