Aceite o preparación oleosa utilizada en herramientas de corte o en trabajos mecanizados para ayudar en la acción de corte.