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.
= 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.