"pumpe til høj vakuum" er et 20-bokstavers substantiv som brukes som synonym for "vakuumpumpe". vakuumpumpe betyr: En pumpe, der kan skabe meget lavt tryk.