应该这样说：“无限集与它的一个真子集一一对应”
令 f:R→(0,1),f(x) = 1/2 + arctanx / π
f就是两个集合之间的一一对应.