A structure-preserving map between two algebraic structures of the same type, such as groups, rings, or vector spaces.
A field homomorphism is a map from one field to another one which is additive, multiplicative, zero-preserving, and unit-preserving.
A similar appearance of two unrelated organisms or structures.