Funkcja różnowartościowa

Mówimy, że funkcja $f:X\rightarrow Y$ f:X\rightarrow Y jest różnowartościowa, jeżeli dla dowolnych dwóch argumentów $x_1,x_2\in X$ x_1,x_2\in X spełniony jest warunek:

x_1\neq x_2\Rightarrow f(x_1)\neq f(x_2)

(0)

tj. jeżeli dowolny element przeciwdziedziny $y\in Y$ y\in Y jest przyjmowany co najwyżej raz.

Równoważnie: funkcja $f$ f jest różnowartościowa, gdy z równości wartości funkcji wynika równość argumentów:

f(x_1)=f(x_2)\Rightarrow x_1=x_2

(0)