$lem:intersection$, first inclusion. For every $j$, the intersection is contained in $\mathcal{F} j$, so its closure is contained in $cl (\mathcal{F} j)$ by monotonicity of $cl$.