בלוגיקה ובמתמטיקה, יחס בינארי ${\displaystyle {\mathcal {R}}}$ מעל קבוצה ${\displaystyle A}$ הוא יחס רפלקסיבי אם עבור כל איבר ${\displaystyle a}$ בקבוצה ${\displaystyle A}$, האיבר ${\displaystyle a}$ נמצא ביחס עם עצמו, כלומר ${\displaystyle a{\mathcal {R}}a}$.

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

לכל יחס ${\displaystyle {\mathcal {R}}}$, היחס הרפלקסיבי המינימלי המכיל את ${\displaystyle {\mathcal {R}}}$ הוא ${\displaystyle {\mathcal {R}}\cup I_{A}}$, כאשר ${\displaystyle I_{A}={\bigl \{}(a,a):a\in A{\bigr \}}}$ הוא יחס הזהות על ${\displaystyle A}$. זהו "הסְגוֹר הרפלקסיבי" של ${\displaystyle {\mathcal {R}}}$. לכן באופן שקול ניתן להגדיר רפלקסיביות באמצעות יחס הזהות: ${\displaystyle S}$ יחס רפלקסיבי מעל הקבוצה ${\displaystyle B}$ אם ורק אם ${\displaystyle I_{B}\subseteq S}$.

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

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

• יחס רפלקסיבי, באתר MathWorld (באנגלית)