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