v./m. (-oliën, -s), koelolie, die wordt gebruikt bij het harden van staal, vooral bij alliagestaalsoorten.
Als quencholie werden vroeger dierlijke en plantaardige oliën gebruikt, thans de goedkopere en minder aan oxidatie onderhevige minerale olie. Hoe lager de viscositeit van de olie des te sneller wordt de hitte uit het staal afgevoerd.
