A map is called bijective if it is both injective and surjective. A bijective map is also called a bijection. A function f admits an inverse f^(-1) (i.e., "f is invertible") iff it is bijective. Two sets X and Y are called bijective if there is a bijective map from X to Y. In this sense, "bijective" is a synonym for "equipollent" (or "equipotent"). Bijectivity is an equivalence relation on the class of sets.

bijection | cardinal number | equipollent | injection | inverse function | surjection