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

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

עריכות