Definition:Path Component/Union of Path-Connected Sets

Definition
The path component of $T$ containing $x$ is defined as:


 * $\displaystyle \map {\operatorname{PC}_x} T = \bigcup \set{A \subseteq S: x \in A \land A \text{ is path-connected }}$