קבוצה ניתנת למנייה רקורסיבית – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
AlleborgoBot (שיחה | תרומות) מ רובוט מוסיף: ja:帰納的可算集合 |
|||
שורה 17:
==תכונות==
* אם A ו-B הן נל"ר אז גם A ∩ B וגם A ∪ B הן נל"ר.
* קבוצה A וה[[משלים (מתמטיקה)|משלים]] של A הן נל"ר [[אם"ם]] A היא [[קבוצה רקורסיבית]]
* ה[[תמונה (מתמטיקה)|תמונה]] של קבוצה נל"ר תחת [[פונקציה ניתנת לחישוב]] היא גם קבוצה נל"ר
* קבוצת הקבוצות הניתנות למנייה רקורסיבית מכילה ממש את קבוצת הקבוצות הרקורסיביות - [[בעיית העצירה]] היא דוגמא לקבוצה לא רקורסיבית הניתנת למנייה רקורסיבית.
==דוגמאות==
| |||