Thus, the structure (N, +, ·, 1, 0, ≤) is an ordered semiring; because there is no natural number between 0 and 1, it is a discrete ordered semiring.
Επομένως, η δομή (N, +, ·, 1, 0, ≤) είναι ένας διατεταγμένος ημιδακτύλιος και επειδή δεν υπάρχει φυσικός αριθμός ανάμεσα στο 0 και στο 1, είναι ένας διακριτά διατεταγμένος ημιδακτύλιος.