Statements (12)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:topology
|
gptkbp:defines |
every subspace is Lindelöf
|
gptkbp:example |
gptkb:topology
second-countable space |
https://www.w3.org/2000/01/rdf-schema#label |
hereditarily Lindelöf space
|
gptkbp:implies |
gptkb:Lindelöf_space
hereditarily separable space |
gptkbp:property |
gptkb:topology
|
gptkbp:relatedTo |
gptkb:Lindelöf_space
hereditarily separable space |
gptkbp:bfsParent |
gptkb:Lindelöf_space
|
gptkbp:bfsLayer |
6
|