Noun
roughing pump (plural roughing pumps) A type of vacuum pump that is used to achieve rough vacuum from initial atmospheric pressure. Synonym: rough pump