ThmDex – An index of mathematical definitions, results, and conjectures.
Result R4628 on D466: Surjective map
Map to empty set is a surjection
Formulation 0
Let $\emptyset$ be the D13: Empty set such that
(i) $f : X \to \emptyset$ is a D18: Map
Then $f$ is a D466: Surjective map.