קבוצה קומפקטית היא תת⁻קבוצה של מרחב טופולוגי, שלכל כיסוי פתוח שלה קיים תת⁻כיסוי סופי. אם המרחב הטופולוגי כולו מקיים את התכונה הזו, הוא נקרא מרחב קומפקטי. מתוך ויקיפדיה

קבוצה צדדית, קבוצה צידית, קבוצה צפופה, קבוצה צפופה (טופולוגיה), קבוצה צפופה (סדר), קבוצה קמורה, קבוצה קרבוקסילית, קבוצה קשירה, קבוצה ריקה, קבוצה רקורסיבית