A function f:A→B is said to be bijective (or one-to-one correspondence), if it is both injective and surjective. We also say that the function is a bijection