Funkcja jest różnowartościowa wtedy i tylko wtedy, gdy różnym argumentom przyporządkowuje różne wartości, czyli dla dowolnych argumentów , takich że zachodzi .

a)

Załóżmy, że dla