חסם (מתמטיקה) – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
ט-בוט-זרם (שיחה | תרומות)
מ בוט מוסיף: da:Undertal
Yonidebot (שיחה | תרומות)
מ בוט החלפות: תת-;
שורה 6:
 
==הגדרה פורמלית==
תהא <math>\ (X,\leq)</math> [[סדר חלקי|קבוצה סדורה]] ותהא <math>\ A\subseteq X</math> תת -קבוצה שלה.
*איבר <math>\ x\isin X</math> ייקרא '''חסם מלעיל''' של <math>\ A</math> אם לכל <math>\ a\isin A</math> מתקיים <math>\ a\le x</math>.
*איבר <math>\ x\isin X</math> ייקרא '''חסם מלרע''' של <math>\ A</math> אם לכל <math>\ a\isin A</math> מתקיים <math>\ x\leq a</math>.