|*||At an event with assigned seating one would expect a one-to-one correspondence between the seats and the tickets, the correspondence being between each seat and the ticket printed with its location code.|
|*||Planning for a formal dinner entails choosing a one-to-one correspondence between the guests and their places at the table.|
|*||Counting a finite class of objects typically consists of finding a one-to-one correspondence between the items of the class and the numbers from 1 to however many there are.|
|*||A major use for finding one-to-one correspondences is to establish, without actually counting, that some class has the same size as another class of known size.|
|*||In programming, one often introduces, what are called variously, pointers, indices, or handles to be used in place of data objects they point to. The relation between these pointers and their objects is often expected to be a one-to-one correspondence.|
Notice that a one-to-one correspondence between two classes will not be the only one if the classes have more than one member each.
As usual, this concept of a method for matching is not built-in to our growing library of mathematics, and may be introduced by definition in a variety of ways.
We shall use functions for these methods of matching: a function will be used to match each input with its output. For example, the function
But not every function expresses a one-to-one correspondence. For example,
So, both of these functions are in
To see a discussion of the concept of Counting and its relation to One-to-One Correspondence, see