יחס רפלקסיבי


כל מה שרצית לדעת על יחס רפלקסיבי:
בלוגיקה ובמתמטיקה, יחס בינארי   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} .
יחס שבו אף איבר אינו ביחס עם עצמו, כמו היחס "גדול מ-", הוא אי-רפלקסיבי (או אנטי-רפלקסיבי).

נלקח מויקיפדיה

הגדרות נוספות הקשורות ליחס רפלקסיבי:
תורת הקבוצות
יחסים מתמטיים