Theorem Suppose $S$ is an ordered set with the least-upper-bound property, $B \subset S$, $B$ is not empty, and $B$ is bounded below. Let $L$ be the set of all lower bounds of $B$. Then $\alpha = \sup L$ exists in $S$, and $\alpha = \inf B$.
I have proved the existence of $\sup L = \alpha$.
Question I am not able to prove that $\alpha = \inf B$?
Rudin has provided the following explanation - "If $\gamma < \alpha$ then $\gamma$ is not an upper bound of $L$, hence $\gamma \notin B$. It follows that $\alpha \leq x$ for every $x \in B$. Thus $\alpha \in L$."
Question I am not able to follow this argument? Specifically, shouldn't $\alpha < x$ for every $x \in B$?