極限の定義じゃなくて、共通部分の定義だろ。

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