A function \(f\colon X\to Y\) is called bijective or one-to-one correspondence if it is injective and surjective .

Remarks
  • A function is bijective if and only if \(f\) has an inverse.

See also Link to heading