Compact set in $\mathbb{R}^n$ and the finite intersection property
Prove $X$ is compact iff for each family $\{ F_\alpha\}_{\alpha\in I}$ of closed subsets of $X$ with the FIP, we have $\cap F_\alpha\neq\varnothing$.