# 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$.