Assertion: real number | /r/HasProperty | represented by l a | r a
Facets:
Source sentences:
text: After an infinite number of stages, infinite subsets become available, so that any real number a can be represented by { L a | R a }, where L a is the set of all dyadic rationals less than a and R a is the set of all dyadic rationals greater than a (reminiscent of a Dedekind cut).