重複ポストになってたらすみません。

論理式は、
∀P∈Ж ∃f∈N s.t. f(P)=<IV> and f"(Ж-{P})⊂C-{<IV>}
でした。

---
iwat