有理数定义