תורת הקבוצות/סודרים: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
בנציון יעבץ (שיחה | תרומות) |
בנציון יעבץ (שיחה | תרומות) |
||
שורה 122:
# איזוטוניות ימנית ביחס לסדר חלש: <math>\alpha\le\beta\Rightarrow\alpha\gamma\le\beta\gamma</math>.
# דיסטריבוטיביות: <math>\alpha(\beta+\gamma)=\alpha\beta+\alpha\gamma</math>.
# <math>\beta\ne0\Rightarrow(\alpha\le\alpha\beta)\land(\alpha\le\beta\alpha)</math>.
# אסוציאטיביות: <math>\alpha(\beta\gamma)=(\alpha\beta)\gamma</math>.}}
{{הוכחה|
| |||