diffusion pump

noun (n)

1. vacuum pump used to obtain a high vacuum (noun.artifact)

   Sinonim: condensation pump

   Sumber: wordnet30