File (tool)/Definition

A tool, covered with grooves and raised cutting edges, used to shave hard material such as metal