# Definition:Empty Infimum

Jump to navigation Jump to search

## Definition

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

Then the empty infimum is the infimum $\inf \O$.

By Infimum of Empty Set is Greatest Element, it exists if and only if $\struct {S, \preceq}$ has a greatest element.