Infinite Set is Equivalent to Proper Subset

Theorem
Every infinite set is equivalent to one of its proper subsets.

Proof
Let $$S = \left\{{a_1, a_2, a_3, \ldots}\right\}$$ be a countable subset of an infinite set $$T$$. Such a subset can always be constructed by Infinite Set has Countable Subset.

Partition $$S$$ into $$S_1 = \left\{{a_1, a_3, a_5, \ldots}\right\}, S_2 = \left\{{a_2, a_4, a_6, \ldots}\right\}$$.

We can establish a bijection between $$S$$ and $$S_1$$, by letting $$a_n \leftrightarrow a_{2n-1}$$.

We can extend this to a bijection between $$S \cup \left({T - S}\right) = T$$ and $$S_1 \cup \left({T - S}\right) = T - S_2$$ by assigning each element in $$T - S$$ to itself.

So we have demonstrated a bijection between $$T$$ and one of its proper subsets $$T - S_2$$, which shows that $$T$$ is equivalent to one of its proper subsets.

Comment
This is one of the ways that infinite sets can be defined.