88-195 בדידה לתיכוניסטים תשעא/מערך שיעור/שיעור 3

יחסי סדר

הגדרה: יחס R על A נקרא אנטי-סימטרי אם מתקיים $\forall x,y\in A:[(x,y)\in R]\and[(y,x)\in R] \rightarrow (x=y)$

כלומר, אם $x\neq y$ אז לא יכול להיות שמתקיים היחס בין x לבין y וגם היחס בין y לx.

הגדרה: יחס R על A נקרא יחס סדר חלקי אם R רפלקסיבי, טרנזיטיבי ואנטי-סימטרי

דוגמאות ליחסי סדר חלקי:

• היחס 'קטן-שווה' על המספרים
• היחס 'מוכל-שווה' על הקבוצות