有理数集的定义