בתורת הקבוצות, L או אוסף הקבוצות הניתנות לבנייה הוא מחלקה של קבוצות שבנויות באופן אינדוקטיבי בצורה מפורשת יחסית מתוך קבוצות פשוטות יותר. איברי L נקראים הקבוצות הניתנות לבנייה. L הוגדר על ידי קורט גדל בשנת 1935, שהוכיח כי הוא מודל של אקסיומת הבחירה והשערת הרצף. מתוך ויקיפדיה

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

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

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