closedSubspaceOf
P142624
predicate
Indicates that one space is a subspace of another and is closed with respect to the topology or norm defined on the larger space.
Sample triples (1)
| Subject | Object |
|---|---|
| Lindelöf space | Lindelöf space is Lindelöf ⓘ |