יחס רפלקסיבי – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
Luckas-bot (שיחה | תרומות)
מ r2.7.1) (בוט מוסיף: is:Sjálfhverfni
אנטי-רפלקסיבי
שורה 1:
ב[[לוגיקה]] וב[[מתמטיקה]], [[יחס בינארי]] <math>\ R</math> מעל [[קבוצה (מתמטיקה)|קבוצה]] <math>\ X</math> הוא '''יחס רפלקסיבי''' אם עבור כל איבר <math>\ a</math> בקבוצה <math>\ X</math>, נמצא <math>\ a</math> ביחס עם עצמו, כלומר, <math>\ a R a</math>.
 
לדוגמה, היחס "גדול/שווה מ-" <math>\ (\ge )</math> הוא יחס רפלקסיבי; היחס "קרוב אצל" הוא רפלקסיבי (משום ש[[אדם קרוב אצל עצמו]]). יחס שבו אף מספר אינו מתייחס לעצמו, כמו היחס "גדול מ-", הוא '''אירפלקסיבי''' (או '''אנטי-רפלקסיבי''').
 
דוגמאות נוספות ליחסים רפלקסיביים: