Assertion: set's number | /r/DefinedAs | dedekind cuts of \(\mathbb{q}\
Facets:
Source sentences:
text: The real numbers may be defined as Dedekind cuts of \(\mathbb{Q}\), namely, a real number is given by a pair \((A,B)\) of non-empty disjoint sets such that \(A\cup B=\mathbb{Q}\), and \(a\leq_{\mathbb{Q}}b\) for every \(a\in A\) and \(b\in B\).