everySpaceHas
P185540
predicate
Indicates that each space in a given set or context possesses or is associated with a specified property, object, or condition.
Sample triples (1)
| Subject | Object |
|---|---|
| Tychonoff space | a Stone–Čech compactification if and only if it is Tychonoff ⓘ |