Equivalence of Definitions of Local Basis

Theorem
Let $T = \struct {S, \tau}$ 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 ===