出典:デジタル大辞泉(小学館)

容器内の気体を吸い出してその真空度を高める機械。回転ポンプ・拡散ポンプなど。