For each of the four kinds of rays of the real line, the rays of that kind with real endpoint form a set, a subset of the power set of the real line, whose members are exactly those rays.
In the setting of Routine Facts Used Without Citation: Arithmetic, Maps, Predicativity and Indices, let be the power set of , and for let , , and be the rays of Intervals of the Real Line (iii). Let stand for one fixed one of these four forms, the same form for all .
There is exactly one set such that, for every set , if and only if for some ; it is a subset of and is written . In particular each of , , and is a set of subsets of .
Loading…
No relations recorded yet.