Εδώ η ~ δεν είναι ούτε ανακλαστική αφού 0 ~ 0 δεν ισχύει.

       Η ~ είναι μεταβατική: x ~ y, y ~ z x - y > 0, y - z > 0 x - z = (x - y ) + (y - z) > 0 x ~ z.