Equivalence of Definitions of Local Basis

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

Let $x$ be an element of $S$.