extended_real_number_line

Processing math: 100%

Extended real number line

Set

postulate

$\overline{\mathbb R} \equiv \mathbb R\cup\{-\infty,\infty\}$

todo: model $-\infty$ and $\infty$

Discussion

Reference

Wikipedia: Extended real number line

Parents

Context