This was modeled by considering, for each domain of computation (e.g. the natural numbers), an additional element that represents an undefined output, i.e. the "result" of a computation that never ends.
Αυτό μοντελοποιήθηκε θεωρώντας για κάθε πεδίο υπολογισμών (όπως οι φυσικοί αριθμοί), ένα επιπλέον στοιχείο που αναπαριστά τη μη ορισμένη (undefined) έξοδο, δηλ. το "αποτέλεσμα" ενός υπολογισμού που ποτέ δεν τερματίζει.