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
|
| 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 |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
co-countable topology
|