Equivalence of Definitions of Component/Lemma 1

Theorem
Let $T = \struct {S, \tau}$ be a topological space.

Let $x \in T$.

Let $\mathcal C_x = \set {A \subseteq S : x \in A \land A \text{ is connected in } T}$

Let $C = \bigcup \mathcal C_x$

Then:
 * $C \in \mathcal C_x$.

Proof
From Leigh.Samphier/Sandbox/Every Singleton is Connected in Topology, $\set{x}$ is connected set of $T$ containing $x$.

It follows that $x \in C$.

From Union of Connected Sets with Common Point is Connected, $C$ is a connected set of $T$.

Hence $C \in \mathcal C_x$.