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

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

Result R176 on D181: Canonical set epimorphism

Canonical set epimorphism is surjection

Formulation 0

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

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