Let $X$ be a D11: Set.
A D5143: Set partition $\mathcal{S} \subseteq \mathcal{P}(X)$ of $X$ is a proper set partition of $X$ if and only if \begin{equation} \forall \, E \in \mathcal{S} : E \neq \emptyset \end{equation}