תורת הקבוצות/יחסי סדר: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
בנציון יעבץ (שיחה | תרומות) |
בנציון יעבץ (שיחה | תרומות) |
||
שורה 166:
'''מסקנה מהשפט:''' אם יש יותר מאיבר מינימלי/מקסימלי אחד אז אין איבר ראשון/אחרון.
{{משפט|תוכן=אם <math>(A,\prec)</math> קבוצה סדורה חלקית ו-<math>B\subseteq A</math>, אז <math>(B,\prec)</math> סדורה חלקית.}}
{{הוכחה|
# '''אנטי רפלקסיביות''': <math>x\in B\Rightarrow x\in A\Rightarrow x\not\prec x</math>.
# '''טרנזיטיביות''': <math>x,y,z\in B\land x\prec y\prec z\Rightarrow x,y,z\in A\land x\prec y\prec z\Rightarrow x\prec z</math>.}}
== יחס סדר מלא ==
|