תורת הקבוצות/יחסי סדר: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
בנציון יעבץ (שיחה | תרומות) |
בנציון יעבץ (שיחה | תרומות) |
||
שורה 233:
יהי <math>\prec</math> יחס סדר על קבוצה <math>A</math>.
# אם יש ב-<math>A</math> איבר מינימלי, אזי הוא האיבר
# אם יש ב-<math>A</math> איבר מקסימלי, אזי הוא האיבר
}}
(ראו הגדרת האיבר
אנו נוכיח את 1. ההוכחה ל-2 דומה ותושאר כתרגיל.
| |||