全体实数定义是什么（全体实数定义是什么）