Infinite Set is Equivalent to Proper Subset

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

Comment
This results was used by Richard Dedekind as the definition of infinity itself.