הוא בא לתת דרך להגיד על איברים מה קטן יותר ומה גדול יותר
הרפלקסיביות זה כי איבר שווה לעצמו (נניח קטן שווה).
הטרנזיטיביות ברורה, אם אני יכול בכלל להשוות בין x ל-y ע"י x<=y ואם אפשר להשוות בין z ל-y ע"י y<=z, אז הגיוני שאני אוכל לסגור את השרשרת בצורה הגיונית. שלא יווצר איזשהו מצב אבסורדי של x>z או משהו.
 
סימטריות היא דרישה מאוד לא סבירה ליחס סדר, 1<2, אז למה שיהיה גם סימטריות 1>2?
 
בכל אופן, הנה משהו שעשוי להטריד, אם הסדר איננו מלא, לא כל זוג איברים ניתנים להשוואה, כלומר ייתכן a<b וגם c<b אבל אי אפשר להכריע מי יותר גדול או קטן, a או c.
