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