A kind of pump for exhausting air from a vessel or closed space; also, a pump to condense air of force in into a closed space.
A pump used to exhaust from a condenser the condensed steam, the water used for condensing, and any commingled air.
98,828 entries. Headwords are matched first, then definition text.