יחס רפלקסיבי

בלוגיקה ובמתמטיקה, יחס בינארי $\ R$ מעל קבוצה $\ X$ הוא יחס רפלקסיבי אם עבור כל איבר $\ a$ בקבוצה $\ X$, נמצא $\ a$ ביחס עם עצמו, כלומר, $\ aRa$.

לדוגמה, היחס "גדול/שווה מ-" $\ (\geq )$ הוא יחס רפלקסיבי; היחס "קרוב אצל" הוא רפלקסיבי (משום שאדם קרוב אצל עצמו). דוגמאות נוספות ליחסים רפלקסיביים:

• יחס השוויון $\ (=)$
• הכלה בין קבוצות $\ (\subseteq )$
• היחס "קטן/שווה" $\ (\leq )$
• היחס "מחלק ללא שארית" $\ (|)$
• באופן כללי כל יחס סדר חלש או יחס שקילות.

לכל יחס $\ R$, היחס הרפלקסיבי המינימלי המכיל את $\ R$ הוא $\ R\cup I_{X}$, כש-$\ I_{X}=\{(x,x)\;|\;x\in X\}$ הוא יחס הזהות על $\ X$. זהו "הסגור הרפלקסיבי" של R.

יחס שבו אף איבר אינו ביחס עם עצמו, כמו היחס "גדול מ-", הוא אי-רפלקסיבי (או אנטי-רפלקסיבי).

ראו גם

• מונחים בתורת הקבוצות