hasNeighborhoodBase
P151464
predicate
Indicates that one topological space has a specified collection of neighborhoods at each point that forms a neighborhood base for its topology.
Sample triples (1)
| Subject | Object |
|---|---|
| p-adic analytic groups | p-adic analytic submanifolds ⓘ |