יחס רפלקסיבי

בלוגיקה ובמתמטיקה, יחס בינארי  מעל קבוצה  הוא יחס רפלקסיבי אם עבור כל איבר  בקבוצה , האיבר  נמצא ביחס עם עצמו, כלומר .

דוגמאות
יחס השוויון 
הכלה בין קבוצות 
היחסים "קטן/שווה"  ו"גדול/שווה" 
היחס "מחלק ללא שארית" 
קרבה משפחתית (לפי ההגדרה "אדם קרוב אצל עצמו").
כל יחס סדר חלש או יחס שקילות מעצם הגדרתם.

לכל יחס , היחס הרפלקסיבי המינימלי המכיל את  הוא , כאשר  הוא יחס הזהות על . זהו "הסְגוֹר הרפלקסיבי" של . לכן באופן שקול ניתן להגדיר רפלקסיביות באמצעות יחס הזהות:  יחס רפלקסיבי מעל הקבוצה  אם ורק אם .

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

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

קישורים חיצוניים

קטגוריה:ערכים שבהם תבנית בריטניקה אינה מתאימה
קטגוריה:תורת הקבוצות
קטגוריה:יחסים מתמטיים