MathGloss

Let (X,)(X,\leq) be a poset and let SXS\subseteq X. The supremum of this subset, if it exists, is an upper bound bb of SS in XXsuch that for all upper bounds xx of SS in XX, bxb\leq x. That is, the supremum is the least upper bound.