>>765
×x∈∩_{i=1}^∞ A_i <==def==> ∃i, x∈A_i
○x∈∩_{i=1}^∞ A_i <==def==> ∀i, x∈A_i