משפט היינה⁻בורל הוא משפט יסודי באנליזה מתמטית, הקובע שקבוצה בישר הממשי היא קומפקטית אם ורק אם היא סגורה וחסומה. המשפט חל באותה מידה על קבוצות של וקטורים, כלומר תת⁻קבוצות של המרחבים האוקלידיים \mathbb{R}^n. מתוך ויקיפדיה

משפט הטבע, משפט הטנגנסים, משפט היחידות (אנליזה מרוכבת), משפט היחידות של דיריכלה, משפט היין, משפט היינה⁻בורל, משפט הייצוג של סטון, משפט הכדור השעיר, משפט הכריך, משפט הל"ח