יחס רפלקסיבי – הבדלי גרסאות

* היחס "קטן/שווה" <math>\ (\le )</math>

* היחס "מחלק ללא שארית" <math>\ (|)</math>

 

לכל יחס <math>\ R</math> ניתן להגדיר את '''הסגור הרפלקסיבי''' - היחס הרפלקסיבי המינימלי המכיל את <math>\ R</math>. הסגור הרפלקסיבי שווה ל[[חיתוך (מתמטיקה)|חיתוך]] כל היחסים הרפלקסיביים המכילים את <math>\ R</math>, או באופן שקול, שווה לקבוצה <math>\ R\cup I_X</math>, כש-<math>\ I_X = \{(x, x)\;|\;x\in X\}</math> הוא יחס הזהות על <math>\ X</math>.