集合S为无限集的充分必要条件怎么证 ,即存在一个适当子集使得该子集到它 自身有一个双射