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.

Proof
Follows directly from Same Cardinality Bijective Injective Surjective.

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