Theory Morphism

A structure-preserving mapping between formal theories that translates symbols, formulas, and axioms of a source theory into a target theory in a way that preserves derivability or model-theoretic consequence; often formalized as signature maps together with translations of axioms or as interpretations between theories.