יחס רפלקסיבי

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

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

דוגמאות נוספות ליחסים רפלקסיביים:

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

ראו גם

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