רפלקסיביות

מתוך ויקיפדיה, האנציקלופדיה החופשית

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

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