A type of pump used to reduce the pressure of a gas. Rotary pumps can readily achieve pressures of 0.1 Pa. For very low pressures down to 10–7 Pa, a diffusion pump is required. Ion pumps and cryogenic pumps can achieve even lower pressures of 10–9 Pa and 10–13 Pa, respectively.