Real numbers
The real numbers are a completion of
Every non-empty bounded above subset of
has a supremum
which also implies that every non-empty bounded below subset of
See also Real coördinate space.
#state/develop | #lang/en | #SemBr
The real numbers are a completion of
Every non-empty bounded above subset of
has a supremum
which also implies that every non-empty bounded below subset of
See also Real coördinate space.
#state/develop | #lang/en | #SemBr