Formalmente, se supone que determinan un cuerpo ordenado completo.