This is called the Heine-Borel property, and it is usually stated in short as "every open cover of K {\displaystyle K} has a finite subcover".
To se naziva Heine-Borel svojstvo, i obično se izriče u kratko kao "svaki otvoreni pokrivač od K ima konačni podpokrivač."