Definition of File