Least element
= Least element
{title2=$\bot$}
An element $\bot$ of a <partially ordered set> $P$ is a least element if $\bot\leq x$ for every $x\in P$. A least element is unique: two such elements are below each other, so <antisymmetry> makes them equal.