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

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

'''יחס אסימטריא-סימטרי''' (או '''יחס אנטי-סימטרי חזק''') הוא יחס שעבורו לא ייתכן ש-<math>\ xRy</math> ו- <math>\ yRx</math> בו זמנית כלל. בפרט, לא ייתכן ש-<math>xRx</math>. יחס אסימטריא-סימטרי הוא אנטי-סימטרי ו[[יחס רפלקסיבי|אי-רפלקסיבי]]. כל [[יחס סדר חזק]] הוא אסימטרי. יחס הזהות הוא אנטי-סימטרי, אבל אינו אסימטרי.