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

* השוואה: <math>\forall \alpha,\beta:(\alpha<\beta)\lor(\beta<\alpha)\lor(\alpha=\beta)</math>.

* תכונת הסדר הטוב: לכל קבוצה לא ריקה של סודרים יש איבר ראשון.}}

* אנטי רפלקסיביות: נובע מאקסיומת היסוד כי <math>\alpha\not\in\alpha</math>.

* טרנזיטיביות: <math>\alpha\subset\beta\subset\gamma\Rightarrow\alpha\subset\gamma</math>.