Homomorphisme de Structures

Une application entre deux structures (dans la même signature) qui préserve les interprétations des symboles de fonction et envoie des tuples satisfaisant une relation dans le domaine vers des tuples satisfaisant la relation correspondante dans le codomaine. Pour les constantes, elle transporte les éléments distingués sur les éléments distingués.