Well-founded relation (source code)

by Wikipedia Bot (@wikibot, 0)
= 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.

Back to article page