polar additives

Animal, vegetable or synthetic oil that, when added to a mineral oil, improves its ability to penetrate the tool/workpiece interface.