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

תת קבוצה S של המספרים הטבעיים נקראת רקורסיבית אם קיימת פונקציה ניתנת לחישוב

${\displaystyle f\colon \mathbb {N} \to \mathbb {N} }$

כך ש

${\displaystyle f(x)=\left\{{\begin{matrix}0&{\mbox{if}}\ x\in S\\\neq 0&{\mbox{if}}\ x\notin S\end{matrix}}\right.}$

באופן שקול, קבוצה היא רקורסיבית אם הפונקציה המציינת שלה היא פונקציה רקורסיבית.

• אם ${\displaystyle A}$ היא קבוצה רקורסיבית אז המשלים של ${\displaystyle A}$ היא קבוצה רקורסיבית.
• אם ${\displaystyle A}$ ו-${\displaystyle B}$ הן קבוצות רקורסיביות אז ${\displaystyle A\cap B}$ וגם ${\displaystyle A\cup B}$ הן קבוצות רקורסיביות.
• ${\displaystyle A}$ היא קבוצה רקורסיבית אם"ם ${\displaystyle A}$ והמשלים של ${\displaystyle A}$ הן קבוצות הניתנות למנייה רקורסיבית.
• התמונה של קבוצה רקורסיבית תחת פונקציה שלמה וניתנת לחישוב היא קבוצה רקורסיבית.

• כריעות
• היררכיית חומסקי

• קבוצה רקורסיבית, באתר MathWorld (באנגלית)