תורת הקבוצות/יחסי סדר: הבדלים בין גרסאות בדף

תוכן שנמחק תוכן שנוסף
Shalevku (שיחה | תרומות)
←‏יחס סדר חלקי: שגיאת כתיב
תגיות: עריכה ממכשיר נייד עריכה דרך האתר הנייד
Shalevku (שיחה | תרומות)
מ ←‏יחס סדר חלקי: שגיאת כתיב
שורה 163:
מהנחת השלילה נובע כי <math>a\ne m</math> וגם <math>a \cancel {\prec} m</math> בסתירה לכך ש-<math>a</math> איבר קטן ביותר.
 
ההנחה הובילה לסתירה ולכן <math>a=m</math>ובכך הראנו כי <math>a</math> הוא האיבר המינימלי היחיד. כפי שרצינו.}}שימו לב, הוכחנו כי אם ביחס סדר חלקחלקי יש איבר קטן/גדול ביותר אז הוא האיבר המינימלי/מקסימלי היחיד. הכיוון השני אינו נכון (חשבו על דוגמה נגדית).
 
'''מסקנה מהשפט:''' אם יש יותר מאיבר מינימלי/מקסימלי אחד אז אין איבר קטן/גדול ביותר.