This second function sets up  a logical relationship where performing a process on the input  has corresponding effects on its mapped output.
Essa segunda função estabelece uma relação lógica na qual a execução de um processo na entrada tem efeitos correspondentes na saída relacionada.