יחס אנטי-סימטרי – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
עריכה
עריכה
שורה 1:
ב[[מתמטיקה]], '''יחס אנטי-סימטרי''' (קרוי גם '''יחס אנטי-סימטרי חלש''' או '''יחס''' '''אנטי-סימטרי במובן הרחב''') הוא [[יחס בינארי]] R, שעבורו אם <math>\ xRy</math> ו- <math>\ yRx</math> אז <math>\ x=y</math>. כל [[יחס סדר חלקי]] (חלש או חזק) הוא אנטי-סימטרי.
 
'''יחס א-סימטרי''' (או '''יחס אנטי-סימטרי חזק''') הוא יחס שעבורו לא ייתכן ש-<math>\ xRy</math> ו- ו־<math>\ yRx</math> בו זמנית כלל. בפרט, לא ייתכן ש-<math>xRx</math>. יחס א-סימטרי הוא אנטי-סימטרי ו[[יחס רפלקסיבי|אי-רפלקסיבי]].

כל [[יחס סדר חזק]] הוא אסימטריא-סימטרי. יחס הזהות הוא אנטי-סימטרי, אבל אינו אסימטריא-סימטרי.
 
== דוגמאות ==