גרסה מ־15:52, 25 ביולי 2011

יחסים

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