Open cover
Set
context
$\langle X,\mathcal T\rangle$ … topological space
definiendum
$C$ in it
inclusion
$C$ … cover(X)
postulate
$C\subseteq \mathcal T$
Subset of
Cover
Context
Topological space
Requirements*
Cover