# One-to-one correspondence

Talk0*863*pages on

this wiki

## Redirected from Bijective function

A **one-to-one correspondence** (or **bijection**, **bijective function**) *f* is a function such that each element of its domain only appears once in all of its first coordinates and each element of its codomain only appears once in all of its second coordinates. A one-to-one correspondence is both an injection and a surjection.