Esto es, la función "S(x,y) = x + y" puede ser reescrita como una función anónima: "x,y → x + y" (que se lee: «el par de "x" e "y" se mapea a "x + y"»).