Infinite set
Definition
A set is infinite when it is not finite, that is, when is not equinumerous with for any natural number .
Remarks
Examples are , , and . With the axiom of choice, a set is infinite exactly when it is equinumerous with a proper subset of itself. This is the Dedekind definition. Infinite sets can have different sizes. See Cantor's theorem.
Explanations
L1 human
An infinite set never runs out of elements when you count them. The natural numbers are infinite: after each number there is a next one.
What this node needs for W2
- edge instance_of in: one example (0 of 1)
- edge not_instance_of in: one non-example that fails one clause (0 of 1)
The writing levels say how complete the text of a node is. They do not measure its truth.
What depends on this
1 node uses this node, directly or through other nodes.
Sources
- Web https://en.wikipedia.org/wiki/Infinite_set, lead section