A space is finitely compact if every finite open cover has a finite subcover. This is another weakening of compactness, and corresponds to the idea of a space being "finite" in some sense, or having only "finite" many distinguishable open sets. For example, any discrete space is finitely compact.