>>782
失敬、書き間違えました。ほんとうにすいません。
b∈V(f)なる元bについて、
b∈f(A)-f(P)⇔b∈f(A)かつb not∈f(P)
です。