If there exists one function that satisfies the differential equation and some other relation on an interval , then is an implicit solution.