Assertion: real number | /r/HasProperty | obtained by dedekind cuts
Facets:
Source sentences:
text: (The ω-complete forms of real elements of S ω are in one-to-one correspondence with the reals obtained by Dedekind cuts, under the proviso that Dedekind reals corresponding to rational numbers are represented by the form in which the cut point is omitted from both left and right sets.)