Definition:Dedekind-Infinite

Definition
A set is said to be Dedekind-infinite iff it is equivalent to one of its proper subsets.

Also see

 * Equivalent Conditions for Dedekind-Infinite Set