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