בלוגיקה מתמטית, קבוצה ניתנת להגדרה היא תת⁻קבוצה של מודל, המוגדרת על ידי נוסחה בשפה של המודל. כלומר, זוהי קבוצה מהצורה \ \{x: \varphi(x)\}. מתוך ויקיפדיה

קבוצה בת מניה, קבוצה בת מנייה, קבוצה בת מנייה רקורסיבית, קבוצה בת⁻מניה, קבוצה בת⁻מנייה, קבוצה דיסקרטית, קבוצה דלילה, קבוצה דקה, קבוצה הניתנת למנייה חישובית, קבוצה חברתית