A "pun" is a form of wordplay that uses a word or phrase that has multiple meanings or sounds similar to another word, creating a humorous or clever effect. It's often used in jokes to create double meanings, forcing the audience to engage with the language in a playful way.
The word "pun" originates from the late 17th century, likely derived from the word "pundigrion," which itself is believed to come from the Italian "pungiare," meaning "to prick," reflecting the sharpness or cleverness of the jest.