השאלה נראית לי טריוויאלית. הסופרמום של קבוצה לא '''מוגדר''' להיות שווה למינימום של קבוצת חסמי המלעיל שלה? וברור שאלה קיימים לפי אקסיומת השלמות (הקבוצה לא ריקה וחסומה). [[משתמש:Mattya|Mattya]] ([[שיחת משתמש:Mattya|שיחה]]) 12:09, 19 באוקטובר 2015 (UTC)
תשובה: כן. זו לא שאלה קשה במיוחד. אבל יש צריך לכתוב משהו כדי להצדיק את זה.--[[משתמש:איתמר|איתמר]] ([[שיחת משתמש:איתמר|שיחה]]) 13:51, 19 באוקטובר 2015 (UTC)