Vactiümpomp
v./m. (-en), toestel waarmee lucht of gas uit een ruimte (vacuümruimte of recipiënt) verwijderd kan worden. De vacuümpompen kunnen worden onderscheiden in twee soorten: 1. gastransportpompen, die het gas uit de vacuümruimte naar de buitenlucht wegpompen, b.v. diffusiepomp, draaischuifpomp, vacuümkoelen. Vacuiimkoeler voor...
