For a function f:X→Y and a subset A⊆X, the restriction of f to A is the function, denoted f_|A, with domain A and codomain Y, such that f_|A(a) = f(a) for all a in A. Thus, f_|A is essentially the same assignment as f but applied to a restricted set of inputs.