88-195 בדידה לתיכוניסטים תשעא/מערך שיעור/שיעור 2

יחסים

הגדרה: המכפלה הקרטזית של שתי קבוצות A וB הינה אוסף כל הזוגות הסדורים - $A\times B = \{(a,b)|a\in A \and b\in B\}$. ההבדל בין זוג סדור לבין קבוצה המכילה זוג איברים היא שהאיברים יכולים להיות שווים בזוג סדור, והסדר שלהם מהותי. כלומר שני האיברים הבאים שונים $(1,2),(2,1)$ והאיבר הבא הינו זוג חוקי $(1,1)$.

ניתן להכליל את ההגדרה לעיל לn-יה סדורה - כלומר n איברים מסודרים.

דוגמא: $A=\{1,2,3\}$ ו$B=\{a,b\}$ אזי מתקיים $A\times B =\{(1,a),(2,a),(3,a),(1,b),(2,b),(3,b)\}$