展开 负实数的定义是什么