a_1的关系，其中formula_2是多元函数。比如单位圆的隐式方程是formula_3。隐函数（）是由隐式方程所隐含定义的函数，比如formula_4是由formula_3确定的函数。而可以直接用含自变量的算式表示的函数称为显函数，也就是通常所说的函数，如formula_6。隐函数定理说明了隐式方程在什么情况下会确定出隐函数。
例子.
反函数.隐函数的一个常见类型是反函数。若formula_7是一个函数，那么formula_7的反函数记作formul