isFirstFixedPointOf
P142104
predicate
Indicates that one entity is the earliest (smallest or first in some ordering) value at which a given function or operation, applied to that value, returns the value itself.
Sample triples (1)
| Subject | Object |
|---|---|
| Feferman–Schütte ordinal | Veblen function φ_α(0) ⓘ |