ΟΡΙΣΜΟΣ
Ονομάζουμε αριθμήσιμο σύνολο κάθε σύνολο το οποίο μπορεί να τεθεί σε ένα προς ένα και επί αντιστοιχία με κάποιο υποσύνολο των φυσικών αριθμών.
Ονομάζουμε υπεραριθμήσιμο σύνολο κάθε σύνολο για το οποίο ισχύει η ακόλουθη ιδιότητα:
Κάθε αριθμήσιμο υποσύνολό του είναι και γνήσιο υποσύνολό του. (Mε την έννοια ότι δεν περιέχει όλα τα στοιχεία του αρχικού συνόλου.)
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου