ある問題で「不連続点の集合は高々可算であることを示せ」というのがあるのですが、一般にある集合が高々可算であることを示すためにはどのような論法がありますか。
非可算であることを示せとかなら、整列させて矛盾を示すという論法があると思うのですが、高々可算であることを示せと言われてもどうすれば良いか分かりません。
自然数からの全射or自然数への単射を構成するというようなものでしょうか。