**bijective map**if and only if

(1) | $f$ is an D467: Injective map |

(2) | $f$ is a D466: Surjective map |

▾ Set of symbols

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel set theory

▾ Set

▾ Binary cartesian set product

▾ Binary relation

▾ Map

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel set theory

▾ Set

▾ Binary cartesian set product

▾ Binary relation

▾ 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

Results