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

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