Extended real line

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