הגדרה: תהי קבוצה A. '''יחס הזהות''' הוא <math>R\subseteq A\times A</math> כך ש: <math>I_A=R=\{(a,a):a\in A\}</math>.
הגדרה: יהיו A,B,C קבוצות, ו<math>R\subseteq A\times B, S\subseteq B\times C</math> '''היחס ההרכבה/יחס הכפל''' הוא היחס: <math>S\circ RRS=\{(a,c)\in A\times C | \exists b\in B : (a,b)\in R \land (b,c)\in S\}</math>
===תרגיל===
יהיו <math>A=\{1,2\}, B=\{3,4,5\}</math>. נגדיר את היחס: <math>R=\{(1,3),(2,4)\}</math>. בדוק האם:
א. <math>RRR^{-1}\circ R=I_A</math>
ב. <math>R\circ R^{-1}R=I_B</math>
==תכונות של יחסים על קבוצה==