hasClosedSets
P182246
predicate
Indicates that one entity possesses or is associated with a collection of sets that are closed under a specified topology or closure operation.
Sample triples (1)
| Subject | Object |
|---|---|
| Scott topology | lower sets closed under directed suprema ⓘ |