A PDF file is a type of binary file that contains a mixture of text, images, and formatting information. When a document is saved as a PDF, the original application's formatting and layout information are translated into a device-independent format, which can be interpreted by any PDF viewer.