アットウィキロゴ
x∈A'-B⇔「x∈A'、かつx∈Bでない」
A'⊆Aより
「x∈A、かつx∈Bでない」⇔x∈A-B
よってA-B⊇A'-B

タグ:

+ タグ編集
  • タグ:
最終更新:2010年11月30日 02:32