is, outside set theory that explicitly studies possible cardinalities).

Counting, mostly of finite sets, has various applications in mathematics. One important principle is that if two sets X and Y have the same finite number of elements, and a function ''f'': ''X'' -> ''Y'' is known to be injective, then it is also surjective, and vice versa. A related fact is known as the pigeonhole principle,