22/03/23 20:51:40.31 ZyHgXq9L.net
>>482
>「{} の任意の元 x, y に対し、 x + y も {} の元である。」という文があったとします。
>これだけ見ると、「+」って何？という話になると思います。
（中略）
>空集合 {} を {バナナ, りんご, いちご} の部分集合と考えると「{} の任意の元 x, y に対し、 x + y も {} の元である。」は意味をなしませんよね？
空集合の積集合（これも空集合）から空集合への写像は一つだけ存在するので
その意味で「意味」はあるわけです
気にしているのはある集合からある集合へのある種の性質を持つ写像が定義されている場合とそうで無い場合とでその部分集合の間にこの写像の制限として定義される写像となっている場合となっていない場合があるという状況で後者においてもある種の性質を持つ写像が存在すると考えて良いのかということでしょうがこの場合は特に問題はありません