Structure-preserving map between two mathematical objects of the same type.