事を完全に厳密にするには、の有理コーシー列による定義において、さらに任意のに対して十分大きな番号の項でを超えるものが取れるような有理コーシー列全体の成す集合としてを、同様の仕方でを、それぞれ定義することにすればよい。測度論および積分.測度論において、測度無限大の集合や値が無限大になる積分の存在を許すことが有効であることがよくある。このような測度は微分積分学でも自然に表れてくる。例えば、における測度として、各区間の測度が区間の通常の長さと一致するようなものを考えると、全空間の測度というのはどんな有限実数よりも大きいものでなければならない。あるいはまた、のような無限積分を考えるとき、値は「無限大」になる。他にも、のような函数列の極限を考えることも有用であることは多く、函数値が無限大となることを許容しない場合には単調収束定理や優収束定理のような本質的な結果が意味を成さない。順序構造および位相的性質.任意の(有限)実数に対してと置くことにより、実数直線における順序の拡張として、補完数直線は全順序集合になる。この順序に関しては「任意の部分集合が上限と下限を持つ」(完備束を成す)という良い性質を持つ。この順序から導かれる上のでは、集合が正の無限大の近傍となる必要十分条件はが適当な実数に対する集合を含むことであり、負の無限大についても同様のことが言える。補完数直線は、単位閉区間に同相なコンパクトハウスドルフ空間であるから、単位閉区間の通常の距離から同相を通じて距離化可能であるが、しかし上の通常の距離の延長となるような距離を入れることはできない。この位相に関して、実変数がやへ近づく極限や、函数の値がやへ近づく極限を、一般的な極限の位相的定義を簡略化して定義することができる。算術演算.実数全体における四則演算は、以下の規約により部分的にまで拡張することができる。代数的性質.今までの定義に従えば、拡張実数の全体は体にも環にもならない。それでも以下のような十分扱いやすい性質が成立する:その他の性質.実函数の中には極限をとることでまで連続的に延長することができるものもある。例えば指数函数や自然対数はやとして連続的に延長できる。