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