isTotallyDisconnected
P73732
predicate
Indicates that no two distinct elements in the structure are connected by any path or relation, so every component is isolated from all others.
Observed surface forms (1)
- isDisconnected ×1
Sample triples (5)
| Subject | Object |
|---|---|
| Baire space | true ⓘ |
| Baire space ω^ω | true ⓘ |
| Cantor set | true ⓘ |
|
general linear group GL(n,R)
surface form:
GL(n,ℝ)
|
true via predicate surface "isDisconnected" ⓘ |
| p-adic numbers | true ⓘ |