ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Formulation F4404 on R176: Canonical set epimorphism is surjection

F4404

Formulation 0

Let $\pi : X \to X / {\sim}$ be a D181: Canonical set epimorphism.

Then $\pi$ is a D466: Surjective map.