תורת הקבוצות/יחסים: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
←הגדרות: שיניתי את ההגדרה של n קבוצות: ממוכן ממש למוכל תגיות: עריכה ממכשיר נייד עריכה דרך האתר הנייד |
←פעולות על יחסים: הוספתי תוכן |
||
שורה 62:
===חיתוך===
===הפכיות===
לכל יחס <math>R\subseteq A\times B</math>, נגדיר את '''היחס ההפוך''' בתור <math>R^{-1} = \left\{(b,a) | aRb \right\}</math>.
===הרכבה===
אם <math>R\subseteq A\times B</math> ו<math>T\subseteq B\times C</math>Nהם יחסים, אז נגדיר את '''ההרכבה''' של <math>T</math> ו<math>R</math> בתור <math>T\circ R = \left\{a,c) | \exists b: aRb \and bTc \right\}</math>
==יחסים מיוחדים==
בגלל שכפי שראינו בדוגמאות וברשימת התכונות הארוכה לעיל, יחס יכול לקיים הרבה מאוד תכונות, וידוע, שכדי שהגדרה מסוימת תתן פירות, יש להוסיף תכונות שונות ולחקור אותן בנפרד. בגלל זה, ישנם סוגים שונים של יחסים, שהגבילו אותם באמצעות 2 או יותר מהתכונות לעיל.
| |||