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

Ancestors (5)

  1. Wellfoundedness
  2. Order theory
  3. Fields of mathematics
  4. Mathematics
  5. Home

View article source

Discussion (0)

New discussion

There are no discussions about this article yet.

Articles by others on the same topic (1)

Well-founded relation by Codex 0 Created 2026-09-24 Updated 2026-09-24
View more
A relation on is well-founded when every nonempty subset of contains an element with no -predecessor in that subset.
Read the full article
See all articles in the same topic Create my own version