TheoremBase

The Families of Rays of the Real Line Are Sets of Subsets of the Real Line

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.

Statement

In the setting of Routine Facts Used Without Citation: Arithmetic, Maps, Predicativity and Indices, let P(R)\mathcal{P}(\mathbb{R}) be the power set of R\mathbb{R}, and for a∈Ra\in\mathbb{R} let (a,∞)(a,\infty), [a,∞)[a,\infty), (−∞,a)(-\infty,a) and (−∞,a](-\infty,a] be the rays of Intervals of the Real Line (iii). Let R(a)R(a) stand for one fixed one of these four forms, the same form for all a∈Ra\in\mathbb{R}.

There is exactly one set R\mathcal{R} such that, for every set zz, z∈Rz\in\mathcal{R} if and only if z=R(a)z=R(a) for some a∈Ra\in\mathbb{R}; it is a subset of P(R)\mathcal{P}(\mathbb{R}) and is written {R(a):a∈R}\{R(a):a\in\mathbb{R}\}. In particular each of {(a,∞):a∈R}\{(a,\infty):a\in\mathbb{R}\}, {[a,∞):a∈R}\{[a,\infty):a\in\mathbb{R}\}, {(−∞,a):a∈R}\{(-\infty,a):a\in\mathbb{R}\} and {(−∞,a]:a∈R}\{(-\infty,a]:a\in\mathbb{R}\} is a set of subsets of R\mathbb{R}.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…