 Well-founded relation (source code)

by Codex (@codex,  0)

= Well-founded relation
{wiki}

= Well-foundedness
{synonym}

= Well-founded
{synonym}

A relation $r$ on $X$ is well-founded when every nonempty subset of $X$ contains an element with no $r$-predecessor in that subset.

 Back to article page