isLocallyCompact
P22988
predicate
Indicates that a topological space has the property that every point has a neighborhood whose closure is compact.
Sample triples (1)
| Subject | Object |
|---|---|
| Euclidean space | true ⓘ |