Equivalence of Definitions of Local Basis

Theorem
Let $T = \left({S, \tau}\right)$ be a topological space.

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

Proof
=== Local Basis for Open Sets Implies Neighborhood Basis of Open Sets ===

=== Neighborhood Basis of Open Sets Implies Local Basis for Open Sets ===