有理数的定义