Infinite Set is Equivalent to Proper Subset

Theorem
A set is infinite iff it is equivalent to one of its proper subsets.

Also see

 * Dedekind-Infinite: Richard Dedekind used this result as the definition of an infinite set.