of the domain--and surjective (or onto)--meaning that each element of the codomain is mapped from at least one element of the domain. The term one-to-one correspondence must not be confused with one-to-one function, which means injective but not necessarily surjective.

The elementary operation of counting establishes a bijection from some finite set to the first natural numbers