File extension

A filename extension is a suffix to the name of a computer file applied to indicate the encoding convention (file format) of its contents.