page7
fp()
X→Y
P→(X→Y)
X
Y
P
F()
y
x
f()
PxX→Y
p
f(p,x)
=
fp(x)
=