Misalkan \(X\) suatu himpunan dan \(\tau_{FC}=\{\emptyset\}\cup\{O\subseteq X: X\setminus O \text{ berhingga}\}\text{.}\) Buktikan bahwa \(\tau_{FC}\) merupakan topologi pada \(X\text{.}\)