F=\bigcap_{n\in N_0}F_n