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

הוסרו 27 בתים ,  לפני 10 חודשים
הקישור למילים א-סמיטרי שלח לדף אנטי סימטרי, דבר שונה לחלוטין
(←‏איברים מיוחדים: תיקון טעות קטנה: תת הקבוצה היתה מסומנת באותו סימון של הקבוצה כולה. הוספת המילה "של" פותרת את כפל המשמעות)
תגיות: עריכה ממכשיר נייד עריכה דרך האתר הנייד
(הקישור למילים א-סמיטרי שלח לדף אנטי סימטרי, דבר שונה לחלוטין)
ב[[תורת הקבוצות]], '''סדר חלקי''' על [[קבוצה (מתמטיקה)|קבוצה]] X הוא [[יחס בינארי]] המקיים אחת משתי קבוצות של אקסיומות:
* היחס [[יחס טרנזיטיבי|טרנזיטיבי]], [[יחס אנטי-סימטרי|אנטי-סימטרי]] ו[[יחס רפלקסיבי|רפלקסיבי]] - זהו '''יחס סדר חלש'''.
* היחס [[יחס טרנזיטיבי|טרנזיטיבי]], [[יחס א-סימטרי|א-סימטרי]] ו[[יחס רפלקסיבי|אי-רפלקסיבי]] - זהו '''יחס סדר חזק'''. (יחס טרנזיטיבי הוא א-סימטרי אם ורק אם הוא אי-רפלקסיבי).
 
אקסיומות אלה מתמצתות את התפיסה האינטואיטיבית של סדר: דבר אינו יכול להיות גם גדול מדבר אחר וגם קטן ממנו, ואם דבר אחד קטן משני הקטן משלישי, אז הראשון קטן מן השלישי. מושג הסדר החלקי לוכד אינטואיציה זו באופן אקסיומטי.
משתמש אלמוני