שוויון (מתמטיקה) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
אין תקציר עריכה |
|||
שורה 13:
* [[יחס רפלקסיבי|רפלקסיביות]]: '''A = A''' כל עצם שווה לעצמו.
* [[יחס סימטרי|סימטריות]]: אם '''A = B''' אז '''B = A'''.
* [[טרנזיטיביות]]: אם '''A = B''' וגם '''A = C''' אזי '''B = C'''
שוויון הוא עידון של כל יחס שקילות אחר, כלומר הוא מתאים ל[[חלוקה (תורת הקבוצות)|חלוקה]] ה[[טריוויאלי (מתמטיקה)|טריוויאלי]]ת של כל קבוצה. שוויון הוא [[יחס אנטי-סימטרי]] ולכן הוא גם [[יחס סדר]] [[מקרה מנוון|מנוון]]. זהו היחס היחיד שהוא גם יחס שקילות וגם יחס סדר, ובאופן כללי יותר היחס היחיד שהוא רפלקסיבי, סימטרי ואנטי-סימטרי.
| |||