high-vacuum pump operating in the pressure range from about 10-3 torr to 10-10 torr; removes gas molecules from vacuum by trapping them on cold surfaces; efficient, clean pumping; commonly used in high-end vacuum equipment in semiconductor manufacturing.