すいません訂正です。
⇔f(a)∈f(P_1)またはa∈f(P_2) (5)
 訂正 → ⇔f(a)∈f(P_1)またはf(a)∈f(P_2) (5)