A file extension used with a batch file (a file that has multiple commands that, when executed, run one after another). See also batch file.