 Least element

An element $\perp$ of a partially ordered set $P$ is a least element if $\perp \le x$ for every $x\in P$. A least element is unique: two such elements are below each other, so antisymmetry makes them equal.