isHausdorff
P24318
predicate
Indicates that a topological space satisfies the Hausdorff separation property, meaning any two distinct points can be separated by disjoint open sets.
Sample triples (1)
| Subject | Object |
|---|---|
| Euclidean space | true ⓘ |