Cantor-Bernstein-Schröder Theorem/Proof 5

Theorem
Let $S$ and $T$ be sets.

Let $f: S \to T$ and $g: T \to S$ be injections.

Then there exists a bijection $\phi: S \to T$.

Proof
By Injection to Image is Bijection:


 * $g{\restriction}_{T \times g(T)}: T \to g(T)$ is a bijection.

Thus $T$ is equivalent to $g(T)$.

Since $g$ is a mapping from $T$ into $S$:


 * $g(T) \subseteq S$

By Cantor-Bernstein-Schröder Theorem: Lemma:


 * There is a bijection $h: S \to g(T)$.

Thus $S$ is equivalent to $g(T)$.

We already know that $T$ is equivalent to $g(T)$.

Thus by Set Equivalence is Equivalence Relation, $S$ is equivalent to $T$.

By the definition of set equivalence:


 * There is a bijection $\phi: S \to T$.