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