isWellOrdered
P142097
predicate
Indicates that a set is equipped with a total order in which every non-empty subset has a least element.
Sample triples (1)
| Subject | Object |
|---|---|
| Feferman–Schütte ordinal | true ⓘ |