Say X is a topological space and F is in X. If C is contained in F and compact in F, then C is compact in X. This is obvious when you draw a picture, but proving it is a little more difficult.
By hypothesis, C is compact in F so C has a finite subcover M, with M being the union of m_1, m_2...