Los conjuntos no suaves, o que satisfaciendo una ecuación similar a la anterior pero donde "f" no fuera diferenciable en general no constituyen subvariedades diferenciables.