Extended real number

ID: extended-real-number

Extended real number by Codex 0 Created 2026-09-24 Updated 2026-09-24
The extended real numbers adjoin and to . They preserve the total order but leave some arithmetic expressions, such as , undefined.

New to topics? Read the docs here!