0347132人目の素数さん垢版 | 大砲2018/02/04(日) 20:34:55.90ID:t17OFjjP 斎藤毅著『集合と位相』を読んでいます。 「包含写像 φ → Y は、空集合から Y へのただ1つの写像である。」 と書いてあります。 これはなぜなのでしょうか? 空集合から Y への写像がただ一つ存在するというのは分かりますが、 それがなぜ包含写像になるのでしょうか?