Definition

Say we have
Then is the least upper bound of .

The supremum is denoted by .