שרשרת (מתמטיקה)

בתורת הקבוצות, שרשרת היא תת-קבוצה של קבוצה סדורה חלקית $(A,\le )$ שעבורה היחס $\le$ הוא יחס סדר מלא. שרשרת $B$ תקרא שרשרת מקסימלית אם לא קיימת שרשרת נוספת $C$ ב- $(A,\le )$ שעבורה $B\subset C$.

לפי עקרון המקסימום של האוסדורף, בכל קבוצה סדורה חלקית קיימת שרשרת מקסימלית.

אנטי שרשרת

אנטי-שרשרת היא מושג הפוך לשרשרת. בניגוד לשרשרת, שבה כל זוג איברים ניתנים להשוואה זה לזה, באנטי-שרשרת אף זוג איברים אינו ניתן להשוואה. במילים אחרות, אנטי-שרשרת היא תת-קבוצה של קבוצה סדורה חלקית בה לא מתקיים $a\le b$ עבור אף זוג איברים$a,b$ מהקבוצה. במונחי תורת הקבוצות, בה יחס הוא תת-קבוצה של המכפלה הקרטזית, עבור אנטי-שרשרת היחס $\le$ הוא הקבוצה הריקה.

ראו גם

• הלמה של צורן