הבדלים בין גרסאות בדף "88-195 בדידה לתיכוניסטים תשעא/מערך שיעור/שיעור 3"
מתוך Math-Wiki
(יצירת דף עם התוכן "==יחסי סדר== '''הגדרה:''' יחס R על A נקרא '''אנטי-סימטרי''' אם מתקיים <math>\forall x,y\in A:[(x,y)\in R]\and[(y,x)\in R] \ri...") |
(אין הבדלים)
|
גרסה מ־10:42, 30 ביולי 2011
יחסי סדר
הגדרה: יחס R על A נקרא אנטי-סימטרי אם מתקיים ![\forall x,y\in A:[(x,y)\in R]\and[(y,x)\in R] \rightarrow (x=y)](/images/math/b/2/7/b27500f5e820926a1e38f94ccc781069.png)
כלומר, אם 
אז לא יכול להיות שמתקיים היחס בין x לבין y וגם היחס בין y לx.
הגדרה: יחס R על A נקרא יחס סדר חלקי אם R רפלקסיבי, טרנזיטיבי ואנטי-סימטרי
דוגמאות ליחסי סדר חלקי:
- היחס 'קטן-שווה' על המספרים
- היחס 'מוכל-שווה' על הקבוצות
