The seemingly simple definition:
A topological space $X$ is compact, if every open cover of $X$ has a finite sub-cover;
turns out to be quite central one in topology. It's seems like once we are granted the compactness of the space at hand, a whole bunch of good things can be said and done about it, but I am not exactly sure why? Many thanks.