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 .

Funkcja z zadania  m