Quotient Theorem for Surjections

Theorem
For any surjection $f: S \to T$, there is one and only one bijection $r: S / \mathcal R_f \to T$ such that:


 * $r \circ q_{\mathcal R_f} = f$

where:
 * $\mathcal R_f$ is the equivalence induced by $f$
 * $r: S / \mathcal R_f \to T$ is the renaming mapping
 * $q_{\mathcal R_f}: S \to S / \mathcal R_f$ is the quotient mapping induced by $\mathcal R_f$.

Also known as the factor theorem for surjections.

Proof
From the definition of Induced Equivalence, the mapping $f: S \to T$ induces an equivalence $\mathcal R_f$ on its domain.

As $f: S \to T$ is a surjection, $T = \Img f$ from Surjection iff Image equals Codomain.

From Renaming Mapping is Bijection, the renaming mapping $r: S / \mathcal R_f \to T$ is a bijection, where $S / \mathcal R_f$ is the quotient set of $S$ by $\mathcal R_f$.

Hence:
 * $r \circ q_{\mathcal R_f} = f$
 * $r$ is the only mapping $r: S / \mathcal R_f \to T$ that satisfies this equality.

Also see

 * Factoring Mapping into Quotient and Injection
 * Factoring Mapping into Surjection and Inclusion


 * Quotient Theorem for Sets