Una función univalente es una función compleja que es holomorfa o meromórfica en un dominio y es un mapeo biyectivo entre un conjunto y su imagen [1] .
Una función analítica es localmente univalente en un punto si existe alguna vecindad donde es univalente. La región máxima de univalencia para una función es la región en la que es univalente, pero en cualquier región la función deja de ser univalente.
El principio de univalencia: una función que es analítica en el dominio , que se extiende continuamente a la curva de Jordan y realiza un mapeo uno a uno en , es univalente en .