有理数是怎么定义的?规范点 的比较高级的定义