Page "Equivalence relation" Paragraph 35

More generally, a function may map equivalent arguments ( under an equivalence relation ~< sub > A </ sub >) to equivalent values ( under an equivalence relation ~< sub > B </ sub >).

Such a function is known as a morphism from ~< sub > A </ sub > to ~< sub > B </ sub >.