cutting fluid

noun

1. a liquid or gas for cooling or lubricating a cutting tool and a piece of work at their point of contact.