A topological property: a space is compact if every open cover admits a finite subcover; in metric spaces often equivalent to sequential compactness and to closedness plus boundedness in Euclidean settings.
A topological property of a set meaning that every sequence in the set has a convergent subsequence whose limit lies in the set; equivalently in metric spaces, the set is sequentially compact.