Open cover

Set

 context $\langle X,\mathcal T\rangle$ … topological space definiendum $C$ in it inclusion $C$ … cover(X) postulate $C\subseteq \mathcal T$