Statements (27)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:topology
|
| gptkbp:compact |
if the set is finite
|
| gptkbp:contrastsWith |
gptkb:indiscrete_topology
|
| gptkbp:definedIn |
gptkb:box_set
|
| gptkbp:hasClosedSets |
all subsets of the set
|
| gptkbp:hasConnection |
false
|
| gptkbp:hasOpenSets |
all subsets of the set
|
| https://www.w3.org/2000/01/rdf-schema#label |
discrete topology
|
| gptkbp:isBasis |
singletons of the set
|
| gptkbp:isCoarserThan |
no other topology on the set
|
| gptkbp:isFinerThan |
any other topology on the set
|
| gptkbp:isFinestTopology |
true
|
| gptkbp:isFirstCountable |
true
|
| gptkbp:isHausdorff |
true
|
| gptkbp:isLocallyCompact |
true
|
| gptkbp:isMetrizable |
true
|
| gptkbp:isNormal |
true
|
| gptkbp:isRegular |
true
|
| gptkbp:isSecondCountable |
if the set is countable
|
| gptkbp:isSeparable |
if the set is countable
|
| gptkbp:isT1 |
true
|
| gptkbp:isT2 |
true
|
| gptkbp:isTotallyDisconnected |
true
|
| gptkbp:isZeroDimensional |
true
|
| gptkbp:usedIn |
gptkb:general_topology
|
| gptkbp:bfsParent |
gptkb:Topology
|
| gptkbp:bfsLayer |
5
|