Definition:Strictly Well-Founded Relation/Also known as

From ProofWiki
Jump to navigation Jump to search

Strictly Well-Founded Relation: Also known as

A strictly well-founded relation is also known in the literature as a foundational relation.

It is commonplace in the literature and on the internet to use the term well-founded relation for strictly well-founded relation.

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

Some sources do not hyphenate, and present the name as strictly wellfounded relation.