Funkcja liczbowa  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  z warunku  wynika warunek