Heine–Borel property