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

תוכן שנמחק תוכן שנוסף
שורה 355:
 
== יחס סדר טוב ==
{{הגדרה|שם=יחס סדר טוב|תוכן=נאמר כי יחס סדר מלא <math>\prec</math> על קבוצה <math>A</math> הוא '''יחס סדר טוב''', אם לכל תת קבוצה <math>S\subseteq A</math> שאינה ריקה, יש איבר ראשון בקבוצה הסדורה <math>(S,\prec)</math>. נאמר גם כי <math>(A,\prec)</math> היא קבוצה סדורה היטב.}}
הדוגמה הפשוטה ביותר ליחס סדר טוב הוא היחס <math><</math> על הקבוצה <math>\N</math>.
 
'''[[תורת הקבוצות/משפט הסדר הטוב|משפט הסדר הטוב]]''' קובע כי על כל קבוצה ניתן להגדיר סדר טוב.