Intersection of Neighborhoods in Topological Space is Neighborhood

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

Let $x \in S$.

Let $N, N'$ be a neighborhoods of $x$ in $T$.

Then $N \cap N'$ is a neighborhood of $x$ in $T$.

That is:
 * $\forall x \in S: \forall M, N \in \mathcal N_x: M \cap N \in N_x$

where $\mathcal N_x$ is the system of neighborhoods at $x$.

Proof
By definition of neighborhood:


 * $\exists U_1 \in \tau: x \in U_1 \subseteq N$

where $U_1$ is an open set of $T$.


 * $\exists U_2 \in \tau: x \in U_2 \subseteq \subseteq N'$

where $U_2$ is an open set of $T$.

Thus Set Intersection Preserves Subsets:


 * $U \subseteq N \cap N'$

where $U = U_1 \cap U_2$

The result follows by definition of neighborhood of $a$.