information:highlighting, quality:correction
Bijection

A function is bijective if it is both injective and surjective. A bijective function is also called a bijection or a one-to-one correspondence (not to be confused with one-to-one function, which refers to injection). A function is bijective if and only if every possible image is mapped to by exactly one argument. This equivalent condition is formally expressed as follows:

The following are some facts related to bijections: