cutting fluid

noun

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

Dictionary.com Unabridged Based on the Random House Unabridged Dictionary, © Random House, Inc. 2018