A structure-preserving function between two algebraic structures. Examples Homorphism Isomorphism Endomorphism Automorphism