Une pompe à vide est un outil 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.