Assertion: set's subset | /r/HasProperty | bounded
Facets:
Source sentences:
text: Cantor had shown that every linearly ordered set \(S\) without endpoints that is dense (i.e., between any two different elements of \(S\) there is another one), complete (i.e., every subset of \(S\) that is bounded above has a supremum), and with a countable dense subset is isomorphic to the real line.