Statements (25)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:topology
|
| gptkbp:closed |
real numbers
|
| gptkbp:foldable |
gptkb:true
|
| gptkbp:has_cardinality |
continuum
|
| gptkbp:has_produced |
removing middle thirds from interval [0,1]
|
| gptkbp:has_topology |
standard topology
|
| https://www.w3.org/2000/01/rdf-schema#label |
Cantor space
|
| gptkbp:is_closed_under |
countable intersections
countable unions |
| gptkbp:is_complete |
gptkb:true
|
| gptkbp:is_countable_union_of |
closed sets
|
| gptkbp:is_homeomorphic_to |
gptkb:Cantor_set
product of uncountably many copies of discrete space with two points product of two-point spaces |
| gptkbp:is_non_empty |
gptkb:true
|
| gptkbp:is_perfect |
gptkb:true
|
| gptkbp:is_subset_of |
real numbers
|
| gptkbp:is_totally_disconnected |
gptkb:true
|
| gptkbp:is_used_in |
gptkb:Set
gptkb:topology gptkb:analysis functional analysis |
| gptkbp:length |
gptkb:0
|
| gptkbp:bfsParent |
gptkb:Cantor_set
|
| gptkbp:bfsLayer |
5
|