\begin{definition}[Definition:Open Set (Neighborhood Space)]
Let $\struct {S, \NN}$ be a neighborhood space.
Let $U \subseteq S$ be a neighborhood of each of its elements.
Then $U$ is an '''open set''' of $S$.
\end{definition}