hasOpenCoverCondition
P142628
predicate
Indicates that a mathematical object satisfies the open cover condition, meaning every open cover of it admits a suitable refinement or subcover meeting the specified requirement.
Sample triples (1)
| Subject | Object |
|---|---|
| Lindelöf space | every open cover has a countable subcover ⓘ |