יחס

Nuvola apps edu mathematics blue-p.svg

בערך זה
נעשה שימוש
בסימנים מוסכמים
מתחום המתמטיקה.
להבהרת הסימנים
ראו סימון מתמטי.

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

אם נאמר ש a עומד ביחס עם b ונסמן .

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

הגדרה פורמלית

יחס בין הקבוצות ו- הוא קבוצה המקיימת .