This is achieved by specifying properties that a relation ≤ must have to be a mathematical order.
Αυτό επιτυγχάνεται με τον καθορισμό ιδιοτήτων που μια σχέση ≤ πρέπει να είναι μια μαθηματική σειρά.