חסם (מתמטיקה) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ בוט מוסיף: da:Undertal |
מ בוט החלפות: תת-; |
||
שורה 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>.
|