集合族の各元A_λ (λ∈Λ)が空でなければ、直積集合Π[λ∈Λ]A_λ も空ではありませんか?