Skip to main content
1 of 3
Joel David Hamkins
  • 236.5k
  • 44
  • 777
  • 1.4k

A partial order with no infinite descending chains is said to be well-founded. Every well-founded partial order admits an ordinal ranking function, an assignment of nodes in the order to ordinals, such that higher nodes get larger ordinals. One can therefore speak of the ordinal rank of a node or the height of the whole order. It is common to prove things about such orders using transfinite induction, either on the ordinal ranks or on the partial order directly.

Your other property, about every node having a unique predecessor (do you mean immediate predecessor?), is a discreteness property, which by iterating is clearly incompatible with well-foundedness.

But perhaps you mean that the partial order is well-founded, and every node has at most one immediate predecessor? In this case, the height of the order will be $\omega$, since there will be no node of limit rank. In this case, your partial order is: a well-founded partial order of height at most $\omega$.

Joel David Hamkins
  • 236.5k
  • 44
  • 777
  • 1.4k