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)