# Field of real numbers

From Groupprops

## Definition

The **field of real numbers** is a field whose underlying set is the set of real numbers, and where the addition and multiplication are defined the usual way as addition and multiplication of real numbers.