Definition:Categorical Statement/Subject

Definition
Let $S$ and $P$ be predicates.

Let $\map {\mathbf {\Phi} } {S, P}$ be a categorical statement, expressed in abbreviated form.

The symbol $S$ can be referred to as the subject of $\map {\mathbf {\Phi} } {S, P}$.