日本語で「AはB」と書いたとき
∀a∈Aとして∀a∈B

と自分で明言してるよな