>>829
⊂:x∈F_AとするとxはO∩Aに含まれないが、x∈AよりxはOに含まれないからx∈X-O
⊃:x∈(X-O)∩AとするとxはOに含まれないので、x∈AかつxはO∩Aに含まれない