information:classification, structural:expansion, linguistic:translation
Arithmetic

The real numbers form an ordered field. Intuitively, this means that methods and rules of elementary arithmetic apply to them. More precisely, there are two binary operations, addition and multiplication, and a total order that have the following properties.

Many other properties can be deduced from the above ones. In particular: