Cutting oil is a light-coloured mineral oil for drilling and cutting applications.