空集合があるなら空写像もあるの？ (52ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

3(1): 2024/10/05(土) 06:17:08.26 ID:qxAHxNA+(1)調 AAS
自分自身への写像があり、空集合にも自分自身への集合があるので、空写像は無いかな。
典型は恒等写像id

id(x) = x

id({}) = {}

A = {1, 2, 3}
id(A) = A = {1, 2, 3}

succで空集合から数を作るとかも。
0: {}
1: succ({}) = {{}}
2: succ(1) = succ(succ({})) = {{},{{}}}
3: succ(2) = succ(succ(1)) = succ(succ(succ({}))) ={{},{{}},{{},{{}}}}
.
.
.

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

ぬこの手 ぬこTOP 0.463s*