\begin{definition}[Definition:Differential Equation/Solution/General Solution]
Let $\Phi$ be a differential equation.
The '''general solution''' of $\Phi$ is the set of ''all'' functions $\phi$ that satisfy $\Phi$.
\end{definition}