# Definition:Empty Supremum

## Definition

Let $\struct {S, \preceq}$ be an ordered set.

Then the empty supremum is the supremum $\sup \O$.

## Notation

The empty supremum is sometimes denoted as $0$.