In Functional Analysis as well as Topology, we frequently encounter sets, say $X$, that contain elements close to each other. These sets display a defining "finite-ness" property: for all open cover $\mathcal{O}$ of $X$, there exists a finite subcollection $\mathcal{U}\subseteq\mathcal{O}$ such that $\mathcal{U}$ covers $X$. Such spaces $X$ are called $\textbf{compact}$, and the above "finite-ness" property afford us great convenience, because we can always investigate $X$ by investigating its finite open cover $\mathcal{U}$Arzela-