有理数的定义是什么