Definition:Trivial Quotient

Definition
Let $$\Delta_S$$ be the diagonal relation on a set $$S$$.

As $\Delta_S$ is an equivalence, we can form the quotient mapping:
 * $$q_{\Delta_S}: S \to S / \Delta_S$$.

This quotient mapping is called the trivial quotient of $$S$$.

Also see

 * Trivial Quotient is a Bijection