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.