Let , S is nonempty subset of and l* is a the least element of the set . Then is a least element of S.
I am not sure how to go about this one.
Just show that is indeed a lower bound for and if it weren't the least element that there would be something smaller, and show that this something smaller with a slight modification would be an element of smaller than .