impliesInRegularSpaces
P142627
predicate
Indicates that a property, relation, or implication that holds in a given context also holds when restricted to or interpreted within regular spaces.
Sample triples (1)
| Subject | Object |
|---|---|
| Lindelöf space | normality under additional set-theoretic assumptions ⓘ |