openSetCondition
P167867
predicate
Indicates that a specified condition holds for all elements within some open set (or neighborhood), typically expressing a local property in a topological or analytical context.
Sample triples (3)
| Subject | Object |
|---|---|
| Scott topology | upper set ⓘ |
| Scott topology | inaccessible by directed joins ⓘ |
| Scott topology | if sup D in U then D intersects U for every directed set D ⓘ |