>>58
全射である必要はないとします

空でない集合なら 必ず存在すると直感的に思うのですが きちんと説明しろと言われるとよくわからなくて…
理由がないほど当たり前のことですかね…？