In dictionaries:
extended real number system
(mathematics) The real number system adjoined with two extra symbols: ∞ and −∞, inheriting the ordering of the real number system, and defining −∞ to be less than any real number, and ∞ to be larger than any real number.
more...