That is, the natural numbers are closed under equality.
Δηλαδή οι φυσικοί αριθμοί είναι κλειστοί ως προς την ισότητα.