Definitions of diffusion pump:

  • noun:   vacuum pump used to obtain a high vacuum