Consequence-Preserving Mapping

A transformation between syntactic systems, sets of formulas, or models that preserves logical consequence: whenever a formula follows from a set of premises in the source (Γ ⊨ φ or Γ ⊢ φ), the images of those premises entail the image of the conclusion in the target (mapped(Γ) ⊨ mapped(φ) or mapped(Γ) ⊢ mapped(φ)).