Regneforskrift og definitionsmængde