in higher mathematics, the process of counting can be also likened to the construction of an one-to-one correspondence (a.k.a, bijection) between the elements of a set and the set {1, ..., n} (where n is a natural number). once such an correspondence is established, the first set is then said to be of size n.