Finite Product Space is Connected iff Factors are Connected/General Case

Theorem
Let $I$ be an indexing set.

Let $\left\langle{T_\alpha}\right\rangle_{\alpha \mathop \in I}$ be an indexed family of topological spaces.

Let $T = \displaystyle \prod_{\alpha \mathop \in I} T_\alpha$ be the Cartesian space of $\left\langle{T_\alpha}\right\rangle_{\alpha \mathop \in I}$.

Let $T = \displaystyle \overline {\bigcup_{\alpha \mathop \in I} S_\alpha}$.

Let $\tau$ be a topology on $T$ such that the subsets ${S'}_\alpha \subseteq \displaystyle \prod T_\alpha$ where ${S'}_\alpha = \left\{ {\left\langle{y_\beta}\right\rangle \in T: y_\beta = x \beta \text { for all } \beta \ge \alpha}\right\}$ is homeomorphic to $S_{\alpha - 1} \times T_\alpha$.

Then $T$ is connected each of $T_\alpha: \alpha \in I$ are connected.

Proof
Let the Axiom of Choice be assumed.

Let $I$ be well-ordered.

Let $x = \left\langle{x_\alpha}\right\rangle \in T$ be some arbitrary fixed element of $T$.

Let $S_\alpha = \left\{ {\left\langle{y_\beta}\right\rangle \in T: y_\beta = x \beta \text { for all } \beta \ge \alpha}\right\}$.

We have that $S_\alpha$ is homeomorphic to $S_{\alpha - 1} \times T_\alpha$.

Then from Finite Product Space is Connected iff Factors are Connected, $S_\alpha$ is connected $S_{\alpha - 1}$ is.

Let $\alpha$ be a limit ordinal.

Then:
 * $S_\alpha = \displaystyle \left({\bigcup_{\beta \mathop < \alpha} S_\beta}\right)^-$

where $X^-$ denotes the closure of $X$.

So if each $S_\beta$ is connected for $\beta < \alpha$, it follows that $S_\alpha$ must likewise be connected, as $\left\langle{\gamma}\right\rangle$ is nested.

Thus:
 * $T = \displaystyle \overline {\bigcup_{\alpha \mathop \in I} S_\alpha}$ is connected.