Funkcja f  dla każdej liczby x ze zbioru  przypisuje najmniejszą liczbę całkowitą parzystą większą od liczby x. Według tej informacji rozpiszmy poszczególne przypadki: