In addition, the domain of computation is equipped with an ordering relation, in which the "undefined result" is the least element.
Επιπλέον, το πεδίο των υπολογισμων εφοδιάζεται με μια σχέση διάταξης (ordering relation), στην οποία το "μη ορισμένο αποτέλεσμα" είναι το ελάχιστο στοιχείο (least element).