26/06/27 22:20:03.90 12JI7Rbu.net
ゲスですw
188:１３２人目の素数さん
26/07/05 11:30:48.89 o3Mxdww9.net
プラナリアなら大丈夫
189:１３２人目の素数さん
26/07/05 16:08:08.76 oc7qXpi0.net
>>185
>B^X={f∈P(X×(B＼*))|(x,y),(x,z)∈f→y=z}
B=2={0,1}
の場合
B＼*={1}
なので
この定義の2^Xに含まれるのは
supp(f)=dom(f)={x∈X|f(x)=1}
であるfであり
f⇔A=supp(f)⊂X
の対応が自然な全単射
2^X⇔P(X)
を定める
190:１３２人目の素数さん
26/07/05 17:19:46.28 IssZfsTo.net
２３℃
小雨