תורת הקבוצות/עוצמות: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
בנציון יעבץ (שיחה | תרומות) |
בנציון יעבץ (שיחה | תרומות) |
||
שורה 91:
# '''רפלקסיביות''': לכל עוצמה <math>\kappa</math> מתקיים <math>\kappa\leq\kappa</math>.
# '''טרנזיטיביות''': <math>\forall \kappa,\lambda,\mu:\kappa\leq\lambda\land\lambda\leq\mu\Rightarrow\kappa\leq\mu</math>.
# '''אנטי-סימטריה (משפט קנטר-שרדר-ברנשטיין)''' (נקרא גם ''כלל הסנדביץ
# '''השוואה''': <math>\forall \kappa,\lambda:\kappa\leq\lambda\lor\lambda\leq\kappa</math>.}}
'''הוכחה''': בכל הסעיפים נגדיר <math>|A|=\kappa,|B|=\lambda,|C|=\mu</math>.
| |||