In mathematics, a bijection, bijective function, or one-to-one correspondence is a function between two sets such that each element of the second set is the image of exactly one element of the first set. Equivalently, a bijection is a relation between two sets such that each element of either set is paired with exactly one element of the other set.