A subset $K$ of a metric space $X$ is said to be compact if every open cover of $K$ contains a finite subcover.
I want to know what's the motivation for constructing such sets?
I know, this definition leads to lots of interesting result, yet how people arrived at such construction?
And, why open cover gets the priority? I mean, particularly, why open sets are chosen?