(∀x)(x ∈ A imp x ∈ B)？

集合の問題で、下記の逆立ちした記号と、その添え字の意味が分かりません。
(∀x)(x ∈ A imp x ∈ B)

(∀x)とは、日本語でなんと読むのでしょう？そして、その意味は？

No.1 ベストアンサー 回答者： adinat 回答日時： 2003/07/22 00:34

「全てのｘについて」、もしくは「任意のｘについて」と読みます。

翻訳すると、

『すべてのｘについて、ｘがＡに含まれているならば(imp=import＝意味する、でよいですか？)ｘはＢに含まれている』

となります。だからこれは集合の包含関係Ａ⊂Ｂを表していますね。