Restrição de uma função a um conjunto