Equivalence of Definitions of Locally Path-Connected Space/Definition 1 implies Definition 3

Theorem
Let $T = \struct{S, \tau}$ be a topological space. Let each point of $T$ have a local basis consisting entirely of path-connected sets in $T$.

Then
 * $T$ has a basis consisting of path-connected sets in $T$.

Proof
By definition of local basis, each of these path-connected sets in $\mathcal D_x$ is open in $T$.

Consider the set $\displaystyle \mathcal D = \bigcup_{x \mathop \in S} \mathcal D_x$.

From Union of Local Bases is Basis, $\mathcal D$ is a basis for the topology $\tau$.

Since each $\mathcal D_x$ consists entirely of path-connected sets, $\mathcal D$ also consists entirely of path-connected sets.