有理數定義