information:classification
Caveats

Not every equation R (x, y) = 0 implies a graph of a single-valued function, the circle equation being one prominent example. Another example is an implicit function given by x − C (y) = 0 where C is a cubic polynomial having a "hump" in its graph. Thus, for an implicit function to be a true (single-valued) function it might be necessary to use just part of the graph. An implicit function can sometimes be successfully defined as a true function only after "zooming in" on some part of the x -axis and "cutting away" some unwanted function branches. Then an equation expressing y as an implicit function of the other variables can be written.

The defining equation R (x, y) = 0 can also have other pathologies. For example, the equation x = 0 does not imply a function f (x) giving solutions for y at all; it is a vertical line. In order to avoid a problem like this, various constraints are frequently imposed on the allowable sorts of equations or on the domain. The implicit function theorem provides a uniform way of handling these sorts of pathologies.