有理数集为可列集一元函数的图像所组成的点集和其定义域与值域的Descartes集合一一对应