\begin{definition}[Definition:Conditional/Necessary Condition]
Let $p \implies q$ be a conditional statement.
Then $q$ is a '''necessary condition''' for $p$.
That is, if $p \implies q$, then it is ''necessary'' that $q$ be true for $p$ to be true.
This is because unless $q$ is true, $p$ can ''not'' be true.
\end{definition}