sentence2: Επειδή κάθε πεπερασμένη σχέση για τους φυσικούς αριθμούς μπορεί να προσδιοριστεί με ένα αντίστοιχο σύνολο των πεπερασμένων ακολουθιών φυσικών αριθμών, οι έννοιες της υπολογίσιμης συνάρτησης και υπολογισίμως αριθμήσιμης σχέσης μπορούν να οριστούν από τα ανάλογά τους, για τα σύνολα.
sentence1: لأن كل علاقة منتهاه في الأرقام الطبيعية يمكن تعريفها بمجموعة مطابقة من السلاسل المتعاقبة من الأرقام الطبيعية، مفاهيم العلاقة الحسابية والعلاقة المتعددة حسابياً يمكن تعريفهم من المجموعات المتناظرة معها .