Well-order
Summary
A well-order is a total order in which each nonempty subset has a least element.
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-order, lead section
What links here
Definitions
- Well-order 0F1D6PK9RZ