Definition:Well-Founded Relation/Also known as

From ProofWiki
Jump to navigation Jump to search

Well-Founded Relation: Also known as

The term well-founded relation is often used the literature for what on $\mathsf{Pr} \infty \mathsf{fWiki}$ we call a strictly well-founded relation.

In order to emphasise the differences between the two, at some point a $\mathsf{Pr} \infty \mathsf{fWiki}$ editor coined the term strongly well-founded relation.

However, $\mathsf{Pr} \infty \mathsf{fWiki}$ prefers the less unwieldy term well-founded relation in preference to others.

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