User blog comment:Ynought/Another question/@comment-37246647-20190709114809/@comment-35470197-20190709220746

> that the relations are well-founded if you include the ordinal.

What "include" means? For example, how do you include an ordinal into PA?