なんか論理式は変でしたね。

∀P∈Ж ∃f∈N s.t. f(P)=<IV> and f"(Ж-{P})⊂C-{<IV>}

でした。

---
iwat