If is a non-empty set and bounded below, then define , which is non-empty and bounded above. We define the greatest lower bound of by .