ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F3801 on D468: Bijective map
F3801
Formulation 0
A D18: Map $f : X \to Y$ is a bijective map if and only if
(1) $f$ is an D467: Injective map
(2) $f$ is a D466: Surjective map