שינויים
/* יחסי סדר */
===יחסי סדר===
*יחס R על קבוצה A נקרא '''יחס סדר חלקי''' אם הוא רפלקסיבי, אנטי-סימטרי וטרנזיטיבי
<videoflash>6X0OGf5CJrU</videoflash>
====איברים מינימליים ומקסימליים, וחסמים====
*יהי R יחס סדר חלקי על קבוצה X, ותהי <math>A\subseteq X</math> תת קבוצה.
**איבר <math>M\in A</math> נקרא '''מקסימלי''' בA אם לכל <math>a\in A</math> המקיים <math>MRa</math> מתקיים כי <math>a=M</math> (אין גדולים ממנו)
**איבר <math>m\in A</math> נקרא '''מינימלי''' בA אם לכל <math>a\in A</math> המקיים <math>aRm</math> מתקיים כי <math>a=m</math> (אין קטנים ממנו)
**איבר <math>M\in A</math> נקרא '''הגדול ביותר''' (מקסימום) בA אם לכל <math>a\in A</math> מתקיים <math>aRM</math> (הוא גדול מכולם)
**איבר <math>m\in A</math> נקרא '''הקטן ביותר''' (מקסימום) בA אם לכל <math>a\in A</math> מתקיים <math>mRa</math> (הוא קטן מכולם)
**איבר <math>M\in X</math> נקרא '''חסם מלעיל''' של A אם לכל <math>a\in A</math> מתקיים <math>aRM</math> (הוא גדול מכל איברי הקבוצה, אבל לאו דווקא נמצא בקבוצה)
**איבר <math>m\in X</math> נקרא '''חסם מלרע''' של A אם לכל <math>a\in A</math> מתקיים <math>mRa</math> (הוא קטן מכל איברי הקבוצה, אבל לאו דווקא נמצא בקבוצה)
**אם בקבוצת חסמי המלעיל של A יש איבר קטן ביותר הוא נקרא '''חסם עליון''' (supremum) של A.
**אם בקבוצת חסמי המלרע של A יש איבר גדול ביותר הוא נקרא '''חסם תחתון''' (infimum) של A.
*איבר גדול ביותר ביותר הוא יחיד.
*אם חסם מלעיל שייך לקבוצה, אז הוא הגדול ביותר.
*האיבר הגדול ביותר בקבוצה הוא איבר מקסימלי, ואין איברים מקסימליים אחרים.
<videoflash>EX6sPaiiu3k</videoflash>
