Supremum

Definition

A real number $s$ is the supremum (a.k.a. least upper bound) for a set $A \subseteq \mathbb{R}$ if it meets the following two criteria:

  1. $s$ is an upper_bound for $A$;

  2. if $b$ is any upper_bound for $A$, then $s \leq b$.