If you do not find what you're looking for, you can use more accurate words.
المجموعة غير المنتهية A قابلة للعد إذا وفقط إذا وجد دالة أحادية من A إلى .
افرض أن أحادية. إذًا جزئية من مجموعة الأعداد الصحيحة الموجبة وبالتالي قابلة للعد حسب نظرية 1.
إذا دالة تقابل وعليه فإن A قابلة للعد حسب حقيقة 1.