实数集通俗地认为，通常包含所有有理数和无理数的*就是实数集。18世纪，微积分学在实数的基础上发展起来。但当时的实数集并没有*的定义。直到1871年，德国数学家康托尔*次提出了实数的严格定义。*一个非空有上界的*必有上确界。