hasCofinality
P142102
predicate
Indicates that one entity has a cofinality (the smallest cardinality of an unbounded subset) equal to or associated with another entity.
Sample triples (1)
| Subject | Object |
|---|---|
| Feferman–Schütte ordinal | ω ⓘ |