Set of symbols
Deduction system
Zermelo-Fraenkel set theory
Binary cartesian set product
Binary relation
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
» 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