הוכחה:
1. רפקלסיביות: לכל <math>a,b</math> מתקיים כי $<math>a\leq a, b\preceq b$ </math> ולכן <math>(a,b)R(a,b)</math>
2. אנטי סימטריות: אם <math>(a,b)R(a1,b1)</math> וגם <math>(a1,b1)R(a,b) </math> אז <math>a\leq a1, b\preceq b1</math> וגם <math>a1\leq a, b1 \preceq b</math>, כיוון שאלו יחס סדר נקבל כי <math>a=a1,b=b1</math>