תורת הקבוצות/יחסים: הבדלים בין גרסאות בדף

מ (החלפת קוד LaTeX מיושן mw:Extension:Math/Roadmap)
אם <math>\mathcal{R}\subseteq A\times B</math> ו- <math>\mathcal{T}\subseteq B\times C</math> הם יחסים, אז נגדיר את '''ההרכבה''' שלהם כך:
<center><font size=4><math>\mathcal{T}\circ\mathcal{R}=\Big\{(a,c)\Big|\exists b:a\mathcal{R}b\land b\mathcal{T}c\Big\}</math></font size=4></center>
===צמצום===
יהי <math>\mathcal R\subseteq A\times B</math>, ויהו <math>C\subseteq A\ ,\ B\subseteq D</math>. נגדיר את '''הצמצום של <math>\mathcal R</math> ל<math>C\times D</math>''' כך:
<math>\mathcal R|_{C\times D}=\{(x,y)\in C\times D|x\mathcal Ry\}=\mathcal R\cap(C\times D)</math>.
 
==יחסים מיוחדים==
426

עריכות