יחס סימטרי

במתמטיקה, ובפרט בתורת הקבוצות,  יחס בינארי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle R} מעל קבוצה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} ייקרא יחס סימטרי אם מ-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle xRy} נובע הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle yRx} ; תנאי זה שקול לכך ש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle R=R^{-1}} .

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

הגדרות ותכונות שימושיות של יחסים סימטרים:

החיתוך של אוסף יחסים סימטריים הוא סימטרי. לכן לכל יחס R קיים יחס סימטרי קטן ביותר המכיל אותו; יחס זה, הנקרא הסגור הסימטרי של R, שווה לאיחוד הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ R\cup R^{-1}} .

הרכבה של יחסים סימטריים מתחלפים היא סימטרית.

כהכללה להגדרה שבראש הערך, יחס n-ארי הוא סימטרי אם הוא כולל כל תמורה של כל n-יה בתוכו.

ראו גם

• אנטי סימטריות