6.3.2 一一对应与无穷集合