A subset S of a topological space X is compact if for every open cover of S there exists a finite subcover of S.

bounded set | closed set | compact subset