(mat.). En funksjon y = f(x) sies å være entydig hvis det til hver verdi av den variable x bare svarer én verdi av y. Mer generelt sies en avbildning av en mengde A inn i en mengde B å være entydig hvis hvert element i A bare svarer til ett element i B. Hvis også omvendt hvert element i B svarer til et eneste element i A, sies avbildningen å være én-entydig.