So the definition I have seen is:
Given a topological space <S,F> it is compact if for any cover (union of open sets which is equal to S) there exists a finite subcover.
By the definition of a topological space both S and the empty set must belong to the family of subsets F.
Wouldn't <S, empty...