\begin{definition}[Definition:Category of Open Sets/Definition 2]
Let $T = \struct {S, \tau}$ be a topological space.
The '''category of open sets''' of $T$, denoted $\map {\mathbf {Ouv} } T$, is the order category of open sets of $T$ ordered by inclusion.
\end{definition}