A vacuum pump is a device that removes gas molecules from a sealed volume in order to leave behind a partial vacuum.