Funkcja liczbowa f : X → Y jest funkcją różnowartościową wtedy i tylko wtedy, gdy różnym argumentom przyporządkowuje różne wartości, to znaczy, że dla dowolnych argumentów x₁, x₂ z nierówności x₁≠x₂ wynika nierówność f(x₁)≠f(x₂).