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

לכל יחס <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>.