definition file