近的每一个 formula_8，都有两个 formula_6 的值与之对应，这种情况下 formula_6 无法写成 formula_8 的函数。
定理的叙述：欧几里得空间的情况.设 为一个连续可微函数。这里 被看作是两个空间的直积： ，于是 中的一个元素写成 的形式。 我们的目标是找到一个函数 ，让这函数的图形(graph of a function), , 局部上恰好等于集合{ }，当然这目标不见得一定可以达成，接下来我们会看需要哪些条件来保证函数 的局部存在。固定一点 使