Definition:Invariant Mapping Under Equivalence Relation

Definition
Let $S$ and $T$ be sets.

Let $\mathcal R$ be an equivalence relation on $S$.

Let $f : S \to T$ be a mapping.

Then $f$ is invariant under $\mathcal R$ :
 * $x \mathcal R y \implies f(x) = f(y)$

Also see

 * Universal Property of Quotient Set