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

לכל יחס <math>\ R</math>, היחס הרפלקסיבי המינימלי המכיל את <math>\ R</math> הוא <math>\ R\cup I_X</math>, כש-<math>\ I_X = \{(x, x)\;|\;x\in X\}</math> הוא יחס הזהות על <math>\ X</math>.

 

 

הגדרה של סגור רפלקסיבי: יהי יחס S מעל A נאמר ש-R הוא הסגור הרפלקסיבי של S אם ורק אם R שווה לאיחוד של S עם יחס הזהות מעל A.

 

==ראו גם==