ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
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