יחס רפלקסיבי – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ r2.7.2) (בוט מוסיף: eu:Bihurtze-erlazio |
|||
שורה 24: | שורה 24: | ||
[[es:Relación reflexiva]] |
[[es:Relación reflexiva]] |
||
[[et:Refleksiivsus]] |
[[et:Refleksiivsus]] |
||
[[eu:Bihurtze-erlazio]] |
|||
[[fr:Relation réflexive]] |
[[fr:Relation réflexive]] |
||
[[hu:Reflexív reláció]] |
[[hu:Reflexív reláció]] |
גרסה מ־19:33, 22 במאי 2012
בלוגיקה ובמתמטיקה, יחס בינארי מעל קבוצה הוא יחס רפלקסיבי אם עבור כל איבר בקבוצה , נמצא ביחס עם עצמו, כלומר, .
לדוגמה, היחס "גדול/שווה מ-" הוא יחס רפלקסיבי; היחס "קרוב אצל" הוא רפלקסיבי (משום שאדם קרוב אצל עצמו). יחס שבו אף איבר אינו ביחס עם עצמו, כמו היחס "גדול מ-", הוא ארפלקסיבי (או אנטי-רפלקסיבי).
דוגמאות נוספות ליחסים רפלקסיביים:
- יחס השוויון
- הכלה בין קבוצות
- היחס "קטן/שווה"
- היחס "מחלק ללא שארית"
- באופן כללי כל יחס סדר או יחס שקילות.
לכל יחס ניתן להגדיר את הסגור הרפלקסיבי - היחס הרפלקסיבי המינימלי המכיל את . הסגור הרפלקסיבי שווה לחיתוך כל היחסים הרפלקסיביים המכילים את , או באופן שקול, שווה לקבוצה , כש- הוא יחס הזהות על .