A vacuum pump is a pump that removes gas molecules from a sealed volume in order to leave behind a partial vacuum. The vacuum pump was invented in 1650, see: History.