Consists of The real field and two symbols, and . We preserve the original order in and define
for every .
is an upper bound for every subset of the extended real number system, so every non empty subset has an upper bound. Ditto for .
The extended real number system does not form a field, since do not have additive or multiplicative inverses.