Processing math: 100%
Open cover
Set
context
⟨
X
,
T
⟩
… topological space
definiendum
C
in it
inclusion
C
… cover(X)
postulate
C
⊆
T
Subset of
Cover
Context
Topological space
Requirements*
Cover