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

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