יחס סימטרי

במתמטיקה, ובפרט בתורת הקבוצות, יחס סימטרי הוא יחס בינארי על קבוצה A, הכולל, יחד עם כל זוג $\ (a,b)$, גם את הזוג $\ (b,a)$. יחס השוויון הוא יחס סימטרי, וכך גם כל יחס שקילות.

יחס R הוא סימטרי בדיוק כאשר הוא שווה ליחס ההפכי $\ R^{-1}$. הרכבה של יחסים סימטריים היא סימטרית אם ורק אם הם מתחלפים.

החיתוך של אוסף יחסים סימטריים הוא סימטרי, ולכן אפשר להגדיר סגור סימטרי של יחס - זהו היחס הסימטרי הקטן ביותר המכיל את היחס. ניתן גם להגדירו באופן שקול כ-$\ R\cup R^{-1}$.

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

ראו גם

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

נושאים בתורת הקבוצות
תורת הקבוצות הנאיבית • תורת הקבוצות האקסיומטית • קבוצה • יחידון • הקבוצה הריקה • איחוד • חיתוך • משלים • הפרש סימטרי • קבוצת החזקה • מכפלה קרטזית • יחס • יחס שקילות • פונקציה • עוצמה • קבוצה בת מנייה • האלכסון של קנטור • משפט קנטור שרדר ברנשטיין • השערת הרצף • הפרדוקס של ראסל • סדר חלקי • מספר סודר • הלמה של צורן • אקסיומת הבחירה