\begin{definition}[Definition:Conditional/Sufficient Condition]
Let $p \implies q$ be a conditional statement.
Then $p$ is a '''sufficient condition''' for $q$.
That is, if $p \implies q$, then for $q$ to be true, it is ''sufficient'' to know that $p$ is true.
This is because of the fact that if you know that $p$ is true, you know enough to know also that $q$ is true.
\end{definition}