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