Like every partially ordered set, Open(X) forms a small category by adding a single arrow U → V if and only if U ⊆ V {\displaystyle U\subseteq V} .
Όπως κάθε εν μέρει διατεταγμένο σύνολο, τα Ανοιχτά(X) αποτελούν μια μικρή κατηγορία, προσθέτοντας ένα βέλος U → V αν και μόνο αν U ⊆ V {\displaystyle U\subseteq V} .