הבדלים בין גרסאות בדף "תורת הקבוצות/סודרים"

# איזוטוניות ימנית ביחס לסדר חלש: <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>.}}
{{הוכחה|
419

עריכות