Processing math: 100%
Second-countable space
Set
context
X
… set
definiendum
⟨
X
,
T
⟩
∈
it
inclusion
⟨
X
,
T
⟩
… topological space
exists
B
⊆
T
postulate
B
… countable base
Discussion
Parents
Subset of
Topological space
Requirements
Countable base for a topology