Let and be -Structures. A function is an -homomorphism if for any function symbol and : and for any relation symbol and :