Suppose x and y are two different sets in L and we wish to determine whether x<y or x>y.
Ας υποθέσουμε ότι τα x και y είναι δύο διαφορετικά σύνολα στο L και σκοπεύουμε να αποφασίσουμε αν x<y ή x>y.