Number Systemshard
0:00.0

In the construction of the real numbers using Dedekind cuts, a real number is defined as: