部分集合の証明

質問

集合Xの2つの部分集合族{A_λ:λ∈Λ},{B_μ:μ∈Μ}について、

　(∩{A_λ:λ∈Λ})×(∩{B_μ:μ∈Μ})

　=∩{A_λ×B_μ:(λ,μ)∈Λ×Μ}

を証明せよ。

あるサイトに回答があったのですが、『∀』←この記号は教科書に出てこなくて、調べても分かりません。

『∀』この記号なしでの証明を教えて下さい。また、この記号の意味も教えて下さい。

回答No.1

R_Earl

> 『∀』←この記号は教科書に出てこなくて、調べても分かりません。

全称記号と呼ばれるもので、「全ての」という意味になります。
∀x
と書いた場合、これは「全てのxについて」というような意味になります。

似たようなものに存在記号『∃』というのもあります。
∃x
と書いた場合、「あるxについて」という意味になります。

お礼

ありがとうございます♪

とても参考になりました！