סדר מלא – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מאין תקציר עריכה
כשאומרים "או X או Y" בדר״כ מתכוונים ל־"או אקסקלוסיבי"
שורה 1:
ב[[תורת הקבוצות]], '''סדר מלא''' (או '''סדר לינארי''') הוא [[סדר חלקי]] שמקיים גם את תכונות ההשוואה, כלומר, לכל <math>\ a </math> ו-<math>\ b </math> בקבוצה הסדורה חלקית <math>\ \left(A, \le \right) </math> מתקיים '''או''' <math>\ a \le b </math> '''[[או (לוגיקה)|או]]''' <math>\ b \le a </math>. קבוצה הסדורה בסדר מלא נקראת '''קבוצה סדורה''' (או '''קבוצה סדורה לינארית''' או '''שרשרת''').
 
דוגמאות: