A set of real numbers with N elements is listed by exactly one bijection from [N] that is strictly increasing.
In the setting of The Real Line: Standing Notation and Background for Calculus on Intervals, let , let be as in Intervals of Natural Numbers (ii), and let be a subset of such that there is a bijection from onto ; thus is finite.
There is exactly one bijection such that for all with .
Loading…
No relations recorded yet.