complete ordered field

  1. REDIRECT Real number#"The complete ordered field"

{{R to section}}