real number

A real number can be defined as a Cauchy sequence.

An advantage of real number over rational numbers is the least upper bound property.

Definitions of Operations

• positivity
• ordering