だって、∀x()で明示的に指定してあるじゃん？
∀x∈Aとは記述されていない。
記述どおりに読んでいるだけだが？