Source: wikibot/well-founded-relation

= Well-founded relation
{wiki=Well-founded_relation}

A well-founded relation is a binary relation that has a specific property related to the absence of infinite descending sequences.