1
[ noun ] vacuum pump used to obtain a high vacuum

Related terms

air_pump

*