O funcție univalentă este o funcție complexă care este holomorfă sau meromorfă într-un domeniu și este o mapare bijectivă între o mulțime și imaginea acesteia [1] .
O funcție analitică este univalentă la nivel local într-un punct dacă există o vecinătate , unde este univalentă. Regiunea maximă de univalență pentru o funcție este regiunea în care aceasta este univalentă, dar în orice regiune funcția nu mai este univalentă.
Principiul univalenței: o funcție care este analitică în domeniul , care se extinde continuu până la curba Jordan și realizează o mapare unu-la-unu pe , este univalentă în .