domain_of_definition