2012年5月23日水曜日

「AはBの部分集合ではない」の言い換え

A含まれないB」「B含まれないA」は、「Ac含まれないBc」「AcB≠Ω」「ABc ≠ φ」「AB φ」と互いに言い換え可を新規作成、アップロード。