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) | $\min P$ is the D4462: Set of minimal elements in $P$ |
Then
\begin{equation}
|\min P|
\geq 1
\end{equation}