\begin{definition}[Definition:Categorical Statement/Predicate]
Let $S$ and $P$ be predicates.
Let $\map {\mathbf {\Phi} } {S, P}$ be a categorical statement, expressed in abbreviated form.
The symbol $P$ can be referred to as the '''predicate''' of $\map {\mathbf {\Phi} } {S, P}$.
\end{definition}