יחס (תורת הקבוצות) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
←פעולות על יחסים: תיקנתי טעות |
←פעולות על יחסים: שיניתי את ההגדרה של הרכבת יחסים |
||
שורה 38:
==פעולות על יחסים==
'''הרכבת יחסים''' - לכל שני יחסים <math>\ R \subseteq A\times B , T \subseteq B\times C</math> ניתן להגדיר יחס שלישי, <math>S \subseteq A\times C</math> כהרכבה של שניהם:
:<math> \ S = T\circ R = \left\{ (x,z) : \exist y ,\ xRy \
לפי הגדרה זו - [[הרכבת פונקציות]] היא למעשה מקרה פרטי של הרכבת יחסים. הרכבת יחסים רפלקסיביים או טרנזיטיביים היא רפלקסיבית או טרנזיטיבית בהתאמה.
| |||