restriction_of_domain