Quotient Mapping is Surjection

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\RR$ be an equivalence relation on $S$.

Then the quotient mapping $q_\RR: S \to S / \RR$ is a surjection.


Proof

From Equivalence Class is not Empty, we have that:

$\forall \eqclass x \RR \in S / \RR: \exists x \in S: x \in \eqclass x \RR$

and the result follows.

$\blacksquare$


Sources