יחס (תורת הקבוצות) – הבדלי גרסאות

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

עריכות