Top Element

A top element in a Preorder $P$ is an element $\top:P$ where $x\leq\top$ for all $x:P$.

Properties

• When preorders are viewed as categories, top elements are Terminal Objects.

• Top elements are Meets of the empty set.

• If $P$ is a Poset, top elements are unique.