Her er en funksjon fra mengden til mengden , mens er en funksjon fra til .