Formalmente, los Reales están caracterizados por las propiedades de sus operaciones, las propiedades del orden y la completitud.