Definition:Open Set (Neighborhood Space)

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