Topological Space induced by Neighborhood Space induced by Topological Space

Theorem
Let $S$ be a set.

Let $\tau$ be a topology on $S$, thus forming the topological space $\struct {S, \tau}$.

Let $\struct {S, \NN}$ be the neighborhood space induced by $\tau$ on $S$.

Let $\struct {S, \tau'}$ be the topological space induced by $\NN$ on $S$.

Then $\tau = \tau'$.

Proof
Let $U \in \tau$ be an open set of $\struct {S, \tau}$.

By Set is Open iff Neighborhood of all its Points, $U$ is a neighborhood of each of its points.

By definition, $U$ is an open set of $\struct {S, \NN}$.

Thus by definition of neighborhood space induced by $\tau$ on $S$:
 * $U \in \NN$

Then, by definition of the topological space induced by $\NN$ on $S$:
 * $U \in \tau'$.

Thus $\tau \subseteq \tau'$.

Now let $U \in \tau'$ be an open set of $\struct {S, \tau'}$.

Then, by definition, in the neighborhood space $\struct {S, \NN}$, $U$ is an open set of $\struct {S, \NN}$.

That is, $U$ is a neighborhood in $\struct {S, \NN}$ of each of its points.

But the neighborhoods of $\struct {S, \NN}$ are the neighborhoods of $\struct {S, \tau}$.

Thus by Set is Open iff Neighborhood of all its Points, $U$ is an open set of $\struct {S, \tau}$.

That is:
 * $U \in \tau$.

It follows by definition of set equality that $\tau = \tau'$.