>>767
⊆は明らか。⊇を示す。
f(x)∈f(P)のとき、Pの元zでf(z)=f(x)なるものが存在する。
fは単射だからz=x、ゆえにx∈Pである。P2の方も同様。