A kind of pump for exhausting air from a vessel or closed\n space; also, a pump to condense air or force it into a closed space.\n A pump used to exhaust from a condenser the condensed\n steam, the water used for condensing, and any commingled air.