A class relation for which each point has a set of predecessors. This allows the suprema in well-founded recursion to be ordinals rather than proper classes.

Ancestors (6)

  1. Well-founded relation
  2. Set theory
  3. Foundations of mathematics
  4. Area of mathematics
  5. Mathematics
  6. Home

Synonyms (2)

View article source

Discussion (0)

New discussion

There are no discussions about this article yet.

Articles by others on the same topic (0)

There are currently no matching articles.
See all articles in the same topic Create my own version