Definition:
“the usually humorous use of a word in such a way as to suggest two or more of its meanings or the meaning of another word similar in sound”
"Pun Definition & Meaning." Merriam-Webster Dictionary, Merriam-Webster, www.merriam-webster.com/dictionary/pun. Accessed 6 Sept. 2022.
Informal Definition:
A pun is a clever play on words using the different meanings of words, typically for a humorous effect.
Etymology:
Perhaps from pundigron, meaning the same thing (though attested first a few years later), itself a word of uncertain etymology, perhaps a humorous alteration of Italian puntiglio "equivocation, trivial objection," diminutive of Latin punctum "point." This is pure speculation. Punnet was another early form.
Harper, Douglas. "Etymology of pun." Online Etymology Dictionary, 3 June 2021, www.etymonline.com/word/pun. Accessed 6 Sept. 2022.
Avi S.