:::זו לא ממש מסקנה, זה גרירה דו כיוונית. אבל בגלל שאתה לא מניח את זה, זו ההגדרה.
::::העובדה שהגדרה זו שקולה להגדרת "מקסימום קבוצת הגבולות החלקיים" היא הוכחה מאינפי 1. לא קשה במיוחד אפילו... --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
:::::אבל שניכם הגדרתם את הגבול העליון בתור המקסימום של הגבולות החלקיים, במקום בתור הסופרימום, למרות שאף אחד לא אמר מראש שיש מקסימום.