# Infinite

A set $S$ is said to be infinite if there is a surjection $f:S\to\mathbb{Z}$. If this is not the case, $S$ is said to be finite.
• A set is infinite if it is not empty and cannot be put into bijection with any set of the form $\{1, 2, \ldots, n\}$ for a positive integer $n$.