קדם סדר

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש

בתורת הקבוצות, יחס המוגדר על קבוצה נקרא קדם-סדר אם הוא רפלקסיבי וטרנזיטיבי.

קדם-סדר אנטי-סימטרי הוא יחס סדר, בעוד שקדם-סדר סימטרי הוא יחס שקילות. היחס היחיד השייך לשתי מחלקות אלה גם יחד הוא יחס השוויון.

לדוגמה, יחס החילוק בין מספרים שלמים הוא קדם-סדר, אך אינו סדר (למשל, המספרים 2 ו-−2 מחלקים זה את זה). דוגמה זו ניתן להכליל לכל חוג, והיא שימושית בעיקר בתחומי שלמות.

מקדם-סדר נתון אפשר לקבל יחס סדר באופן הבא: מגדירים יחס שקילות כך ש- אם ורק אם וגם . על מחלקות השקילות של יחס זה אפשר להגדיר את היחס אם ורק אם , וזהו יחס סדר.

קישורים חיצוניים

  • קדם סדר, באתר MathWorld (באנגלית)   המזהה לא מולא ולא נמצא בוויקינתונים, נא למלא את הפרמטר.
Logo hamichlol 3.png
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0