Characterization of Paracompactness in T3 Space/Lemma 14

Theorem
Let $X$ be a set.

Let $X \times X$ denote the cartesian product of $X$ with itself.

Let $\sequence{V_n}_{n \in \N}$ be a sequence of subsets of $X \times X$ containing the diagonal $\Delta_X$ of $X \times X$:
 * $\forall n \in \N_{> 0}$ the composite relation $V_n \circ V_n$ is a subset of $V_{n - 1}$, that is, $V_n \circ V_n \subseteq V_{n - 1}$

For all $n \in \N_{> 0}$, let:
 * $U_n = V_n \circ V_{n - 1}, \circ \cdots \circ V_1$

Then:
 * $\forall n \in \N_{>0}: U_n \subseteq V_0$

Proof: $V_n \subseteq V_{n - 1}$
We have:

Proof: $U_n \subseteq V_{n - 1} \circ U_{n - 1}$
We have:

Proof: $V_n \circ U_n \subseteq V_0$
Proceeds by induction on $n$.

For all $n \in \N_{> 0}$, let $\map P n$ be the proposition:
 * $V_n \circ U_n \subseteq V_0$

Basis for the Induction
$\map P 1$ is the case:

and $\map P 1$ is seen to hold.

This is our basis for the induction.

Induction Hypothesis
Now we need to show that, if $\map P n$ is true, where $n > 0$, then it logically follows that $\map P {n + 1}$ is true.

So this is our induction hypothesis:
 * $V_n \circ U_n \subseteq V_0$

Then we need to show:
 * $V_{n + 1} \circ U_{n + 1} \subseteq V_0$

Induction Step
This is our induction step:

So $\map P n \implies \map P {n + 1}$ and by the Principle of Mathematical Induction:
 * $(3):\quad\forall n \in \N_{> 0} : V_n \circ U_n \subseteq V_0$

Proof: $U_n \subseteq V_0$
We have: