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:

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:

Mówimy, że dwie funkcje są równe, jeżeli mają taką samą dziedzinę oraz dla każdego argumentu z tej dziedziny wartości obu funkcji są równe.