A device used for making holes in sheets of paper so they can be put into a binder.

“I need to find a hole punch to organize these loose pages.”

The act of using a tool to create holes in paper or other materials.

“Please hole punch these documents before filing them away.”