気になるところはありますが、概ねいいと思います
一ヶ所だけ、包含写像は
i_A₁ : A₁→A
なのでそこは直した方がよいです。それに合わせてfの定義は
A₁ ↦ φ⚪︎i_A₁(A₁)
になりますね
いえいえ
集合A,Bについて、A~BならばP(A)~P(B)(P(A),P(B)はA,Bのべき集合)を示せ
という問題で、このように示したのですが、自信がありません…どなたか添削お願いしたいです。
気になるところはありますが、概ねいいと思います
一ヶ所だけ、包含写像は
i_A₁ : A₁→A
なのでそこは直した方がよいです。それに合わせてfの定義は
A₁ ↦ φ⚪︎i_A₁(A₁)
になりますね
いえいえ
この質問を見ている人は
こちらの質問も見ています😉
そうですね、、
ご指摘ありがとうございます!