Structure Homomorphism

A map between two structures (in the same signature) that preserves the interpretations of function symbols and sends tuples satisfying a relation in the domain to tuples satisfying the corresponding relation in the codomain. For constants it carries designated elements to designated elements.