As mentioned above, the domains of computation are always partially ordered.
Όπως προαναφέρθηκε, τα πεδία των υπολογισμών είναι πάντα μερικά διατεταγμένα.