רפלקסיביות
מתוך ויקיפדיה, האנציקלופדיה החופשית
בלוגיקה ובמתמטיקה, יחס בינארי
מעל קבוצה
יקרא רפלקסיבי אם עבור כל איבר
בקבוצה
, נמצא
ביחס עם עצמו, כלומר:
לדוגמה, היחס "גדול/שווה מ-"
הוא יחס רפלקסיבי, אבל "גדול מ-" אינו רפלקסיבי, כיוון ששום מספר אינו גדול מעצמו (יחס שאינו רפלקסיבי קרוי אירפלקסיבי).
דוגמאות נוספות ליחסים רפלקסיביים:
- יחס השיוויון
(שהינו יחס שקילות) - הכלה בין קבוצות

- היחס "קטן/שווה"

- היחס "מחלק ללא שארית"



