\begin{definition}[Definition:Distributed Term of Categorical Syllogism/Predicate]
Let $\mathbf{\Phi} \left({S, P}\right)$ be a categorical statement, expressed in abbreviated form.
Let $\mathbf{\Phi}$ be a negative categorical statement.
Then $S$ is described as being '''distributed'''.
\end{definition}