En la sección siguiente introduciremos el cuerpo de los números reales. Para preparar tal introducción, recordemos primeramente el significado del término cuerpo.
Una terna
, en la que
es un conjunto no vacío y
,
son operaciones binarias en
, se dice un cuerpo si, para cualesquiera
se cumplen las propiedades siguientes.
y
. (Leyes conmutativas)
y
. (Leyes asociativas)
. (Ley distributiva)
- Existen
y
en
tales que
- Existe
en
tal que
y si
, existe
en
tal que
Nota sobre la notación empleada.
Sea
un cuerpo y
. Se cumplen
- si
entonces
;
- si
, con
, entonces 
;
;
- si
entonces
o
;
;
.