"s" は無限(非可算)集合であるので、単射だが全射でないような写像 "f": "s" → "s" が(たくさん)存在する。