\begin{definition}[Definition:Categorical Syllogism/Secondary Term]
The '''secondary term''' of a categorical syllogism is the term that appears as the first predicate of the conclusion of the syllogism.
It also appears once in one of the premises of the syllogism, traditionally the minor premise.
It is usually denoted by $S$.
\end{definition}