Nouns

(n)condensation pump, diffusion pumpvacuum pump used to obtain a high vacuum