Une pompe à vide est un type de pompe permettant de faire le vide, c’est-à-dire d’extraire l’air ou tout autre gaz contenu dans une enceinte close, afin d’en diminuer la pression.