قضیه هاینه-بورل
scope note: تنها زیر مجموعه های فشرده خط حقیقی آنهایی هستند که بسته و کراندارند.
related: مجموعه بسته
related: عدد حقیقی
broader: فضای فشرده
preferred label: Heine-Borel theorem @en
type: Concept

فضای فشرده
preferred label: compact space @en
type: Concept
narrower: قضیه هاینه-بورل

مجموعه بسته
preferred label: closed set @en
type: Concept
related: قضیه هاینه-بورل

عدد حقیقی
preferred label: real number @en
type: Concept
related: قضیه هاینه-بورل