Well-founded relation
Summary
A relation is well-founded when each nonempty subset has a minimal element for it. Then there is no infinite descending chain.
What this node needs for W2
- edge instance_of in: at least two examples (0 of 2)
- edge not_instance_of in: at least one non-example (0 of 1)
- edge specializes both: the more general notions and the special cases (0 of 1)
The writing levels say how complete the text of a node is. They do not measure its truth.
Sources
- Web https://en.wikipedia.org/wiki/Well-founded_relation, lead section
What links here
Definitions
- Well-founded relation 0230ECX1Q5