\begin{definition}[Definition:Categorical Syllogism/Middle Term]
The '''middle term''' of a categorical syllogism is the term that does not appear in the conclusion of the syllogism.
It appears once in each of the premises of the syllogism.
It is usually denoted by $M$.
\end{definition}