failsToBeHausdorffIf
P77814
predicate
Indicates that a topological space is not Hausdorff whenever the specified condition holds.
Observed surface forms (1)
- mayFailToSeparatePoints ×1
Sample triples (2)
| Subject | Object |
|---|---|
| Alexandrov compactification | the original space is not locally compact ⓘ |
| Kobayashi metric | true via predicate surface "mayFailToSeparatePoints" ⓘ |