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