\begin{definition}[Definition:Open Set/Topology]
Let $T = \struct {S, \tau}$ be a topological space.
Then the elements of $\tau$ are called the '''open sets of $T$'''.
Thus:
:'''$U \in \tau$'''
and:
:'''$U$ is open in $T$'''
are equivalent statements.
\end{definition}