xy ³
0, yz ³ 0 
xzy2
³ 04.12. Μεταβατικότητα:
x ~ y, y ~ z xy ³
0, yz ³ 0
xzy2
³ 0
(εδώ
y 
0, y2 >
0, άρα) 
xz ³ 0 
x ~ z.
Είναι προφανές ότι είναι ανακλαστική και συμμετρική, άρα είναι σχέση
ισοδυναμίας.
Οι διακεκριμένες κλάσεις ισοδυναμίας είναι: το σύνολο των αρνητικών
ακεραίων, και το σύνολο των θετικών ακεραίων.