Az univalens függvény egy komplex függvény , amely holomorf vagy meromorf egy tartományban , és egy bijektív leképezés egy halmaz és annak képe között [1] .
Egy analitikus függvény lokálisan univalens egy ponton , ha létezik olyan környék , ahol egyértékű. Egy függvény maximális univalenciájának tartománya az a tartomány , amelyben univalens, de bármely tartományban a függvény már nem univalens.
Az univalencia elve: a tartományban analitikus függvény , amely folyamatosan a Jordan-görbére nyúlik, és egy-egy leképezést hajt végre a -n , univalens -ben .