Restriction of a function