▾ Set of symbols
▾ Alphabet
▾ Deduction system
▾ Theory
▾ Zermelo-Fraenkel set theory
▾ Set
▾ Binary cartesian set product
▾ Binary relation
▾ Map
Bijective map
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
Also known as
Bijection, Set isomorphism
Child definitions
» D353: Set automorphism
» D2221: Set of bijections
Results
» R2764: Canonical singleton map is bijection
» R1841: Indicator function operator is a bijection
» R4540: Inverse map is a bijection
» R5076: Bijection from the natural number plane to the set of natural numbers
» R2623: Indicator function operator on set of N-subsets is bijection
» R5097: Power set is isomorphic to a set of boolean functions