Field of real numbers

From Groupprops
Revision as of 00:30, 3 November 2023 by R-a-jones (talk | contribs)

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.

Related notions