The operating fluid used in diffusion pumps or in liquid-sealed mechanical pumps (sometimes called workingmedium,workingfluid, or pumpoil).