In general if $t=\text{lub}(A)$ and $s then this must be true $\left( {\exists x \in A} \right)\left[ {s < x \leqslant t} \right]$
If $b\ne b'$ then $b.