Prove that a nonempty set $T_{1}$ is finite if and only if there is a bijection from $T_{1}$ onto a finite set $T_{2}$.
We can use the following:
- Definition (a) The empty set is said to have zero elements.
- (b) If $n\in \mathbb{N}$, a set S is said to have n elements if there exists a bijection from the set $\mathbb{N}_{n}$ := {1, 2, ..., n} onto S.
- (c) A set S is said to be finite if it is either empty or has n elements for some $n\in \mathbb{N}$.
- (d) A set S is said to be infinite if it is not finite.
Assume there is a bijection from $T_{1}$ onto $T_{2}$. We're given that $T_{2}$ is finite. We know that by definition, every element of one set is paired with exactly one element of the other set, and every element of the other set is paired with exactly one element of the first set ($T_{1}$). Since $T_{2}$ is finite, $T_{1}$ is finite.
Step 2: Only If
Assume $T_{1}$ is finite set, which is nonempty as described in the original problem statement. This means that by the definition above, $T_{1}$ has n elements for some $n\in \mathbb{N}$ and there exists a bijection from the set $\mathbb{N}_{n}$ := {1, 2, ..., n} onto $T_{1}$. Let's call that bijection f.
We also are given that $T_{2}$ is a finite set. Assuming that $T_{2}$ is not empty, we know by the definition above that there exists a bijection from the set $\mathbb{N}_{n}$ := {1, 2, ..., n} onto $T_{2}$. Let's call that bijection g.
The composition $g\circ f$ would map $T_{1}$ into $T_{2}$, and since the composition of two bijections is a bijection, $g\circ f$ is a bijection from $T_{1}$ onto $T_{2}$.
QED
