חסם (מתמטיקה) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ ←הגדרה פורמלית: עקביות בסימון היחס |
מ קישורים פנימיים |
||
שורה 1:
ב[[מתמטיקה]], '''חסם''' של [[תת קבוצה]] של [[סדר חלקי|קבוצה סדורה]] הוא [[איבר (מתמטיקה)|איבר]] של הקבוצה הסדורה כך שמתקיים אחד משניים: או שהוא גדול או [[יחס שיוויון|שווה]] לכל אחד מאברי התת-קבוצה, או שהוא קטן או שווה לכל אחד מאברי התת-קבוצה.
חסם יכול להיות שייך לקבוצה שאותה הוא חוסם, אך גם לא להיות שייך לה. למשל, חסם של הקבוצה {1,2,3} הוא 4, כי הוא גדול מכל אברי הקבוצה, אף שאינו שייך לקבוצה. לעומתו 3 הוא גם חסם של הקבוצה, וגם שייך לה. האיבר הגדול ביותר בקבוצה ששייך לה נקרא "מקסימום" והאיבר הקטן ביותר ששייך לה נקרא "מינימום", אך בקבוצות [[אינסוף|אינסופיות]] לא תמיד קיים איבר כזה.
|