hole punch
Noun
A1 – Beginner
A tool used to punch neat holes in paper, usually so it can be filed in a binder.
Word library
"He used the hole punch before putting the pages into his folder."