Field

Given a certain set of real numbers .  Suppose for any two real numbers in , , , and (if is non-zero) are also in , we say that is a field.  Addition, subtraction, multiplication and division are collectively called rational operations. Examples
  • The set of all rational numbers is obviously a field.
  • The set of all constructible numbers is also field because we have already shown that addition, subtraction, multiplication and division can be done by Euclidean constructions, which implies that if and are two constructible numbers, , , and (if is non-zero) are also constructible numbers.
A field is called Euclidean if for any positive real number  in , is also in . The set of all constructible numbers  is a Euclidean field because we can construct the square root of a length by Euclidean construction. Next, we are going to investigate the underlying structure of  in more detail.