Definition:Strictly Well-Founded Relation/Also known as

However, $\mathsf{Pr} \infty \mathsf{fWiki}$ prefers the more cumbersome and arguably more precise strictly well-founded relation in preference to all others.