Rubricator
Vacuum pump is a device for removing (pumping out) gases or vapors to a certain pressure level (technical vacuum).