>>14
(Aの閉包)-A = （Aの閉包）∩（Aの補集合）
= （(Aの閉包)∩（Ｆの補集合））∪（(Aの閉包)∩（Oの補集合））
= (Aの閉包)∩（Oの補集合）
（∵(Aの閉包)∩（Ｆの補集合）=Φ）。