What is a high vacuum pump?

What is a high vacuum pump?

What is a high vacuum pump?