Bottom Element

A bottom element in a Poset $(P,\leq)$ is an element $\bot$ where $\bot\leq x$ for every $x:P$. Note that this is the Vertical Decategorification of Initial Objects.

Properties

• Bottom elements are Joins of the empty set.

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