(Q2039387)

English

extended real number line

extension of the reals by +∞ and −∞

  • affinely extended real numbers

Statements

Identifiers