Statements (33)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:topology
|
| gptkbp:closedSetsAre |
finite sets
whole set |
| gptkbp:compact |
true
|
| gptkbp:definedIn |
gptkb:box_set
|
| gptkbp:hasConnection |
true
|
| gptkbp:isAlexandroff |
false
|
| gptkbp:isHausdorff |
false
|
| gptkbp:isIrreducible |
true
|
| gptkbp:isNotBaire |
true
|
| gptkbp:isNotCountablyCompact |
false
|
| gptkbp:isNotDiscrete |
true
|
| gptkbp:isNotFirstCountable |
true
|
| gptkbp:isNotLindelof |
true
|
| gptkbp:isNotLocallyCompact |
true
|
| gptkbp:isNotLocallyConnected |
true
|
| gptkbp:isNotMetrizable |
true
|
| gptkbp:isNotNormal |
true
|
| gptkbp:isNotParacompact |
true
|
| gptkbp:isNotPerfect |
true
|
| gptkbp:isNotPseudocompact |
false
|
| gptkbp:isNotRegular |
true
|
| gptkbp:isNotScattered |
true
|
| gptkbp:isNotSecondCountable |
true
|
| gptkbp:isNotSeparable |
true
|
| gptkbp:isNotTotallyDisconnected |
true
|
| gptkbp:isNotZeroDimensional |
true
|
| gptkbp:isT1 |
true
|
| gptkbp:openSetsAre |
empty set
subsets with finite complement |
| gptkbp:bfsParent |
gptkb:Topological_spaces
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
cofinite topology
|