Defines a homomorphism between two algebraic structures.