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

הוסרו 4 בתים ,  לפני 9 חודשים
קישור שמפנה לכאן
תגית: עריכת קוד מקור 2017
(קישור שמפנה לכאן)
* היחס [[יחס טרנזיטיבי|טרנזיטיבי]], [[יחס א-סימטרי|א-סימטרי]] ו[[יחס רפלקסיבי|אי-רפלקסיבי]] - זהו '''יחס סדר חזק'''. (יחס טרנזיטיבי הוא א-סימטרי אם ורק אם הוא אי-רפלקסיבי).
 
הקבוצה <math>X</math>, יחד עם יחס הסדר, נקראת [[קבוצה סדורה]].
 
אקסיומות אלה מתמצתות את התפיסה האינטואיטיבית של סדר: דבר אינו יכול להיות גם גדול מדבר אחר וגם קטן ממנו, ואם דבר אחד קטן משני הקטן משלישי, אז הראשון קטן מן השלישי. מושג הסדר החלקי לוכד אינטואיציה זו באופן אקסיומטי.