n (algebra) A structure-preserving map between two algebraic structures, such as groups, rings, or vector spaces.