gptkbp:instanceOf
|
gptkb:topology
|
gptkbp:alsoKnownAs
|
gptkb:trivial_topology
singleton space
|
gptkbp:compact
|
true
|
gptkbp:connectedTo
|
true
|
gptkbp:has_cardinality
|
1
|
gptkbp:hasConnection
|
true
|
https://www.w3.org/2000/01/rdf-schema#label
|
One-point space
|
gptkbp:is_contractible
|
true
|
gptkbp:is_discrete
|
true
|
gptkbp:is_extremally_disconnected
|
true
|
gptkbp:is_first-countable
|
true
|
gptkbp:is_Hausdorff
|
true
|
gptkbp:is_hereditarily_compact
|
true
|
gptkbp:is_hereditarily_connected
|
true
|
gptkbp:is_hereditarily_first-countable
|
true
|
gptkbp:is_hereditarily_Hausdorff
|
true
|
gptkbp:is_hereditarily_Lindelöf
|
true
|
gptkbp:is_hereditarily_metrizable
|
true
|
gptkbp:is_hereditarily_normal
|
true
|
gptkbp:is_hereditarily_paracompact
|
true
|
gptkbp:is_hereditarily_perfectly_normal
|
true
|
gptkbp:is_hereditarily_regular
|
true
|
gptkbp:is_hereditarily_second-countable
|
true
|
gptkbp:is_hereditarily_separable
|
true
|
gptkbp:is_hereditarily_T0
|
true
|
gptkbp:is_hereditarily_T1
|
true
|
gptkbp:is_hereditarily_T2
|
true
|
gptkbp:is_indiscrete
|
true
|
gptkbp:is_Lindelöf
|
true
|
gptkbp:is_locally_compact
|
true
|
gptkbp:is_locally_connected
|
true
|
gptkbp:is_locally_path-connected
|
true
|
gptkbp:is_metrizable
|
true
|
gptkbp:is_normal
|
true
|
gptkbp:is_paracompact
|
true
|
gptkbp:is_path-connected
|
true
|
gptkbp:is_perfectly_normal
|
true
|
gptkbp:is_pseudocompact
|
true
|
gptkbp:is_regular
|
true
|
gptkbp:is_second-countable
|
true
|
gptkbp:is_separable
|
true
|
gptkbp:is_T0
|
true
|
gptkbp:is_T1
|
true
|
gptkbp:is_T2
|
true
|
gptkbp:is_totally_disconnected
|
false
|
gptkbp:is_totally_separated
|
false
|
gptkbp:is_ultraconnected
|
true
|
gptkbp:bfsParent
|
gptkb:Terminal_object
|
gptkbp:bfsLayer
|
7
|