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

תוכן שנמחק תוכן שנוסף
Shalevku (שיחה | תרומות)
מ ניסוח
Matanyabot (שיחה | תרומות)
מ בוט החלפות: \1ליניארי
שורה 1:
ב[[תורת הקבוצות]], '''סדר מלא''' (או '''סדר לינאריליניארי''') הוא [[יחס בינארי|יחס]] [[סדר חלקי]] המאפשר להשוות כל שני איברים בקבוצה עליה הוא מוגדר, למשל ליחס <math>\le </math> (קטן שווה) מעל הטבעיים, לכל <math>\ a </math> ו-<math>\ b </math> מתקיים <math>\ a \le b </math> '''[[או (לוגיקה)|או]]''' <math>\ b \le a </math>. קבוצה הסדורה בסדר מלא נקראת '''קבוצה סדורה''' (או '''קבוצה סדורה לינאריתליניארית''' או '''שרשרת''').
 
דוגמאות:
שורה 8:
==הגדרה==
 
[[יחס סדר חלקי]] (חלש או חזק) R נקרא '''יחס סדר מלא''' (או "יחס סדר שלם", או "יחס סדר לינאריליניארי") אם לכל <math>\ a \neq b</math> מתקיים <math>\ aRb</math> או <math>\ bRa</math>. קבוצה שמוגדר עליה יחס סדר מלא נקראת '''סדורה לינאריתליניארית''' (או "סדורה בשלמות").
== פעולות בין סדרים ==