Real numbers
Classically, 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
#state/develop | #lang/en | #SemBr
Classically, 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
#state/develop | #lang/en | #SemBr