有理数集的概念和定义是什么