ormula_1为单叶函数。
举例.任何由开集单位圆盘映射到本身的映射formula_4（其中formula_5）为单叶函数。
基本性质.若formula_6及formula_7为二个复数平面中的开集连通空间，且是一个满足formula_9的单叶函数（有一对一的对应关系），则formula_1导数恆不为0，formula_1可逆，而且其逆元素formula_12也是全纯函数。依链式法则可得到下式：对所有formula_14中的复数formula_1