Statements (26)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:topology
|
gptkbp:alsoKnownAs |
countable complement topology
|
gptkbp:closedSetCondition |
set is countable or whole space
|
gptkbp:compact |
true
|
gptkbp:contains |
gptkb:trivial_topology
discrete topology (if X is countable) |
gptkbp:definedIn |
set X
|
gptkbp:hasConnection |
true
|
https://www.w3.org/2000/01/rdf-schema#label |
co-countable topology
|
gptkbp:isFirstCountable |
false
|
gptkbp:isHausdorff |
false
|
gptkbp:isLindelof |
true
|
gptkbp:isNotMetrizable |
true
|
gptkbp:isSecondCountable |
false
|
gptkbp:isSeparable |
true
|
gptkbp:isT1 |
true
|
gptkbp:isT2 |
false
|
gptkbp:isT3 |
false
|
gptkbp:isT4 |
false
|
gptkbp:isT5 |
false
|
gptkbp:isT6 |
false
|
gptkbp:openSetCondition |
empty set or complement is countable
|
gptkbp:usedAs |
counterexample in topology
|
gptkbp:usedIn |
gptkb:general_topology
|
gptkbp:bfsParent |
gptkb:Topological_spaces
|
gptkbp:bfsLayer |
6
|