Infinite Set is Equivalent to Proper Subset

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

Also see

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