$\begingroup$

Given a topological space $X$ and a subset of it $S$, $S$ is compact iff for every open cover of $S$, there is a finite subcover of $S$.

Just curiosity: I've done some search in Internet why compact sets are called compact, but it doesn't contain any good result. For someone with no knowledge of the topology, Facing compactness creates the mentality that a compact set is a compressed set!

Does anyone know or have any information on the question?