数学基礎論・数理論理学　その20

>>6
>そのような
>f⊂X×Y
>は
>F:X→P(Y)
>F(x)={y∈Y|(x,y)∈f}
>と定義してやれば良いのでは無いか
F(x)={y∈Y|(x,y)∈f}={f(x)}（一点集合）なんだけど、なんでFが要るの？
f∈Y^X={z∈P(X×Y)|∀x∈X.∃!y∈Y:(x,y)∈z} でいんじゃね？