חסם (מתמטיקה)
ויקיפדיה האנציקלופדיה encyclopedia
במתמטיקה, חֶסֶם של תת-קבוצה של קבוצה סדורה חלקית הוא איבר של הקבוצה הסדורה שבינו לבין כל אחד מאברי התת-קבוצה מתקיים אי-שוויון חלש. חסם הגדול או שווה לכל אחד מאברי התת-קבוצה נקרא חסם מלעיל, וחסם הקטן או שווה לכל אחד מאברי התת-קבוצה נקרא חסם מלרע. קבוצה שיש לה חסם מלעיל וחסם מלרע נקראת קבוצה חסומה. דוגמה: קבוצת המספרים הממשיים שבקטע הסגור [0,1] חסומה מלרע על ידי 0 ומלעיל על ידי 1. גם הקטע הפתוח (0,1) חסום מלרע על ידי 0 ומלעיל על ידי 1.