restriction of a function