Extended real line

The extended real line consists of the with additional elements such that for all . #m/def/anal Thus it is the Dedekind-MacNeille completion of the reals and the rationals.

#state/develop | #lang/en | #SemBr