Mówimy, że funkcja f:X→Yf:X\rightarrow Y jest różnowartościowa, jeżeli dla dowolnych dwóch argumentów x1,x2∈Xx_1,x_2\in X spełniony jest warunek:
x1=x2⇒f(x1)=f(x2) tj. jeżeli dowolny element przeciwdziedziny y∈Yy\in Y jest przyjmowany co najwyżej raz.
Równoważnie: funkcja ff jest różnowartościowa, gdy z równości wartości funkcji wynika równość argumentów:
f(x1)=f(x2)⇒x1=x2 
