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