diffusion pump

noun

1.
vacuum pump used to obtain a high vacuum