כל מה שרצית לדעת על יחס רפלקסיבי:
בלוגיקה ובמתמטיקה, יחס בינארי R {\displaystyle \ R} מעל קבוצה X {\displaystyle \ X} הוא יחס רפלקסיבי אם עבור כל איבר a {\displaystyle \ a} בקבוצה X {\displaystyle \ X} , נמצא a {\displaystyle \ a} ביחס עם עצמו, כלומר, a R a {\displaystyle \ aRa} .
לדוגמה, היחס "גדול/שווה מ-" ( ≥ ) {\displaystyle \ (\geq )} הוא יחס רפלקסיבי; היחס "קרוב אצל" הוא רפלקסיבי (משום שאדם קרוב אצל עצמו).
דוגמאות נוספות ליחסים רפלקסיביים:יחס השוויון ( = ) {\displaystyle \ (=)} הכלה בין קבוצות ( ⊆ ) {\displaystyle \ (\subseteq )} היחס "קטן/שווה" ( ≤ ) {\displaystyle \ (\leq )} היחס "מחלק ללא שארית" ( | ) {\displaystyle \ (|)} באופן כללי כל יחס סדר חלש או יחס שקילות.
לכל יחס R {\displaystyle \ R} , היחס הרפלקסיבי המינימלי המכיל את R {\displaystyle \ R} הוא R ∪ I X {\displaystyle \ R\cup I_{X}} , כש- I X = { ( x , x ) | x ∈ X } {\displaystyle \ I_{X}=\{(x,x)\;|\;x\in X\}} הוא יחס הזהות על X {\displaystyle \ X} .
יחס שבו אף איבר אינו ביחס עם עצמו, כמו היחס "גדול מ-", הוא אי-רפלקסיבי (או אנטי-רפלקסיבי).