Truth-Preserving Mapping

A mapping between languages, formulas, or structures such that whenever a formula is true in a source interpretation or model, its image under the mapping is true in the corresponding target interpretation or model (with respect to the specified semantics).