One-point space

GPTKB entity

Statements (50)
Predicate Object
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