Bijection

For a binary relation pairing elements of set X with elements of set Y to be a bijection, four properties must hold:

1. each element of X must be paired with at least one element of Y,
2. no element of X may be paired with more than one element of Y,
3. each element of Y must be paired with at least one element of X, and
4. no element of Y may be paired with more than one element of X.

Satisfying properties (1) and (2) means that a pairing is a function with domain X. It is more common to see properties (1) and (2) written as a single statement: Every element of X is paired with exactly one element of Y. Functions which satisfy property (3) are said to be "onto Y " and are called surjections (or surjective functions). Functions which satisfy property (4) are said to be "one-to-one functions" and are called injections (or injective functions). With this terminology, a bijection is a function which is both a surjection and an injection, or using other words, a bijection is a function which is both "one-to-one" and "onto".

Consider the batting line-up of a baseball or cricket team (or any list of all the players of any sports team where every player holds a specific spot in a line-up). The set X will be the players on the team (of size nine in the case of baseball) and the set Y will be the positions in the batting order (1st, 2nd, 3rd, etc.) The "pairing" is given by which player is in what position in this order. Property (1) is satisfied since each player is somewhere in the list. Property (2) is satisfied since no player bats in two (or more) positions in the order. Property (3) says that for each position in the order, there is some player batting in that position and property (4) states that two or more players are never batting in the same position in the list.

In a classroom, there are a certain number of seats. A group of students enter the room and the instructor asks them to be seated. After a quick look around the room, the instructor declares that there is a bijection between the set of students and the set of seats, where each student is paired with the seat they are sitting in. What the instructor observed in order to reach this conclusion was that:

1. Every student was in a seat (there was no one standing),
2. No student was in more than one seat,
3. Every seat had someone sitting there (there were no empty seats), and
4. No seat had more than one student in it.

The instructor was able to conclude that there were just as many seats as there were students, without having to count either set.

Consider a sample of 100 distinct individuals and the corresponding set of their fingerprints. Assuming that no two individuals in that sample share the same fingerprint, the set is one-to-one (injective). Furthermore, there aren’t any fingerprints without an individual; the set is onto (surjective). Since both sets have the same cardinality and the sets are injective and surjective, then it follows there’s a bijection between the set of individuals and their fingerprints.