Homomorphism
Definition
A homomorphism is a map between algebraic structures of the same signature that preserves the defining operations and relations (e.g., group homomorphism preserves multiplication, linear map preserves addition and scalar multiplication).