תורת הקבוצות/יחסי סדר: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
אין תקציר עריכה |
←יחס סדר חלקי: כתיב תגיות: עריכה ממכשיר נייד עריכה דרך האתר הנייד |
||
שורה 72:
הערה: מהגדרה זו נובע ששוויון של קבוצות סדורות חלקית מתבצע לפי שוויון של [[תורת הקבוצות/מכפלה קרטזית|זוגות סדורים]].
כלומר <math>(A,\prec_1)=(B,\prec_2)</math> אם ורק אם <math>A=B</math> וגם <math>\prec_1=\prec_2</math>.
מבחינה זו מדובר בהגדרה קולעת. נביא לכם תרגיל שימחיש את המשמעות של שוויון זה:
|