No Bijection between Finite Set and Proper Subset

Theorem
A finite set can not be in one-to-one correspondence with one of its proper subsets.

That is, a finite set is not Dedekind-infinite.

Note
Some sources use this result as the property which defines a finite set.