>>715
^cはXでの補集合、^caはAでの補集合の意
⊃：(F∩A)^ca=((F∩A)^c)∩A=F^c∩AはAの開集合
⊂：(F_A)^ca=O∩A となるXの開集合OがとれるのでF_A=O^c∩Aを示す