Definition of an Implicit Solution in Differential Equations

If there exists one function $\varphi$ that satisfies the differential equation and some other relation $G(x,y)=0$ on an interval $I$, then $G(x,y)$ is an implicit solution.