Let $P = (X, {\preceq})$ be an D1103: Partially ordered set such that
| (i) | \begin{equation} X \neq \emptyset \end{equation} |
| (ii) | $X$ is a D17: Finite set |
| (iii) | $\max P$ is the D4464: Set of maximal elements in $P$ |
Then
\begin{equation}
|\max P|
\geq 1
\end{equation}