→ LPH66 : 就畫文氏圖 08/14 14:52
→ PPguest : 直覺上應該是用互包,就是證明兩個包含關係 08/14 15:02
推 a016258 : A' 交集 B' ? 08/14 15:04
→ g3810 : 對就是互相包含 可是我不知道怎麼寫 08/14 15:14
→ g3810 : X是交集 我寫錯了抱歉 08/14 15:15
推 recorriendo : 你是要從ZF公理開始證嗎? 08/14 18:37