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 an infinite set.