If f is a smooth function from R3 to R whose gradient is nowhere zero, then the locus of zeros of f does define a surface, known as an implicit surface. If the condition of non-vanishing gradient is dropped, then the zero locus may develop singularities.
