יחס רפלקסיבי

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

$\ \forall a\in X,\ aRa$

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

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

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

ראו גם

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