Univalentní funkce je komplexní funkce , která je holomorfní nebo meromorfní v doméně a je bijektivním mapováním mezi množinou a jejím obrazem [1] .
Analytická funkce je lokálně univalentní v bodě , pokud existuje nějaké okolí , kde je univalentní. Maximální oblast univalence pro funkci je oblast, ve které je univalentní, ale v žádné oblasti již funkce univalentní není.
Princip univalence: funkce , která je analytická v doméně , která se kontinuálně rozšiřuje až k Jordanově křivce a provádí zobrazení jedna ku jedné na , je v .