Przypomnijmy że dziedziną funkcji  jest zbiór , a zbiór wartości to .

Ponieważ dziedziną jest zbiór  to mamy że , a ponieważ zbiór wartości to  to . Czyli f