Homomorfismo de Estructuras

Una aplicación entre dos estructuras (en la misma firma) que preserva las interpretaciones de símbolos de función y envía tuplas que satisfacen una relación en el dominio a tuplas que satisfacen la relación correspondiente en el codominio. Para constantes transporta elementos designados a elementos designados.