• Descending Functions to Quotient Sets, V. Let $R$ be an equivalence relation on $X$. If the conditions of Item 4 hold, then the following conditions are equivalent:
    1. The map $f\colon X\to Y$ is surjective.
    2. The map $\overline{f}\colon X/\mathord {\sim }_{R}\to Y$ is surjective.

Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: