(of a relation R or function f) A relation or function obtained by restricting the domain of R or f. If ‘is the son of’ is a relation defined on all the males in a certain country, a restriction would be this same relation defined on the males of a particular city.